[math-fun] New Mersenne Primes