Are there infinitely many Mersenne primes? (source code)

= Are there infinitely many Mersenne primes?
{tag=Famous conjecture}
{tag=Are there infinitely many primes with property X}