 His website documents the verification of results up to this number.Another, currently more up-to-date status page on the NMC is The New Mersenne Prime conjecture.Lenstra, Pomerance, and Wagstaff have conjectured that there is an infinite number of Mersenne primes, and, more precisely, that the number of Mersenne primes less than "x" is asymptotically approximated by

where γ is the Euler–Mascheroni constant.