Are there infinitely many Mersenne primes? Updated +Created