Infinitude conjecture for Mersenne primes