List of Mersenne primes and perfect numbers

Mersenne primes and perfect numbers are two deeply interlinked types of natural numbers in number theory. Mersenne primes, named after the friar Marin Mersenne, are prime numbers that can be expressed as 2p − 1 for some positive integer p. For example, 3 is a Mersenne prime as it is a prime number and is expressible as 22 − 1.[1][2] The numbers p corresponding to Mersenne primes must themselves be prime, although not all primes p lead to Mersenne primes—for example, 211 − 1 = 2047 = 23 × 89.[3] Meanwhile, perfect numbers are natural numbers that equal the sum of their positive proper divisors, which are divisors excluding the number itself. So, 6 is a perfect number because the proper divisors of 6 are 1, 2, and 3, and 1 + 2 + 3 = 6.[2][4]

Cuisenaire rods showing the proper divisors of 6 (1, 2, and 3) adding up to 6
Visualization of 6 as a perfect number
A graph plotting years on the x-axis with the number of digits of the largest known prime logarithmically on the y-axis, with two trendlines
Logarithmic graph of the number of digits of the largest known prime by year, nearly all of which have been Mersenne primes

There is a one-to-one correspondence between the Mersenne primes and the even perfect numbers. This is due to the Euclid–Euler theorem, partially proved by Euclid and completed by Leonhard Euler: even numbers are perfect if and only if they can be expressed in the form 2p − 1 × (2p − 1), where 2p − 1 is a Mersenne prime. In other words, all numbers that fit that expression are perfect, while all even perfect numbers fit that form. For instance, in the case of p = 2, 22 − 1 = 3 is prime, and 22 − 1 × (22 − 1) = 2 × 3 = 6 is perfect.[1][5][6]

It is currently an open problem as to whether there are an infinite number of Mersenne primes and even perfect numbers.[2][6] The frequency of Mersenne primes is the subject of the Lenstra–Pomerance–Wagstaff conjecture, which states that the expected number of Mersenne primes less than some given x is (eγ / log 2) × log log x, where e is Euler's number, γ is Euler's constant, and log is the natural logarithm.[7][8][9] It is also not known if any odd perfect numbers exist; various conditions on possible odd perfect numbers have been proven, including a lower bound of 101500.[10]

The following is a list of all currently known Mersenne primes and perfect numbers, along with their corresponding exponents p. As of 2023, there are 51 known Mersenne primes (and therefore perfect numbers), the largest 17 of which have been discovered by the distributed computing project Great Internet Mersenne Prime Search, or GIMPS.[2] New Mersenne primes are found using the Lucas–Lehmer test (LLT), a primality test for Mersenne primes that is efficient for binary computers.[2]

The displayed ranks are among indices currently known as of 2022; while unlikely, ranks may change if smaller ones are discovered. According to GIMPS, all possibilities less than the 48th working exponent p = 57,885,161 have been checked and verified as of January 2024.[11] The discovery year and discoverer are of the Mersenne prime, since the perfect number immediately follows by the Euclid–Euler theorem. Discoverers denoted as "GIMPS / name" refer to GIMPS discoveries with hardware used by that person. Later entries are extremely long, so only the first and last six digits of each number are shown.

Table of all 51 currently-known Mersenne primes and corresponding perfect numbers
RankpMersenne primeMersenne prime digitsPerfect numberPerfect number digitsDiscoveryDiscovererMethodRef.[12]
123161Ancient times[a]Known to Ancient Greek mathematiciansUnrecorded[13][14][15]
2371 282[13][14][15]
35 312 4963[13][14][15]
47 1273 81284[13][14][15]
51381914335503368 1200s/c. 1456[b]Multiple[c]Trial division[14][15]
61713107168589869056101588[b]Pietro Cataldi[2][18]
719524287613743869132812[2][18]
831 214748364710230584...952128191772Leonhard EulerTrial division with modular restrictions[19][20]
961230584...69395119265845...84217637November 1883Ivan Pervushin Lucas sequences[21]
1089618970...56211127191561...16921654June 1911Ralph Ernest Powers[22]
11107162259...28812733131640...72812865June 1, 1914[23]
12127170141...10572739144740...15212877January 10, 1876Édouard Lucas[24]
13521686479...057151157235627...646976314January 30, 1952Raphael M. RobinsonLLT on SWAC[25]
14607531137...728127183141053...328128366[25]
151,279104079...729087386541625...291328770June 25, 1952[26]
162,203147597...771007664108925...7825281,327October 7, 1952[27]
172,281446087...836351687994970...9157761,373October 9, 1952[27]
183,217259117...315071969335708...5250561,937September 8, 1957Hans RieselLLT on BESK[28]
194,253190797...4849911,281182017...3775362,561November 3, 1961Alexander HurwitzLLT on IBM 7090[29]
204,423285542...5806071,332407672...5345282,663[29]
219,689478220...7541112,917114347...5772165,834May 11, 1963Donald B. GilliesLLT on ILLIAC II[30]
229,941346088...4635512,993598885...4965765,985May 16, 1963[30]
2311,213281411...3921913,376395961...0863366,751June 2, 1963[30]
2419,937431542...0414716,002931144...94265612,003March 4, 1971Bryant TuckermanLLT on IBM 360/91[31]
2521,701448679...8827516,533100656...60537613,066October 30, 1978Landon Curt Noll & Laura NickelLLT on CDC Cyber 174[32]
2623,209402874...2645116,987811537...66681613,973February 9, 1979Landon Curt Noll[32]
2744,497854509...22867113,395365093...82745626,790April 8, 1979Harry L. Nelson & David SlowinskiLLT on Cray-1[33][34]
2886,243536927...43820725,962144145...40652851,924September 25, 1982David Slowinski[35]
29110,503521928...51500733,265136204...86252866,530January 29, 1988Walter Colquitt & Luke WelshLLT on NEC SX-2[36][37]
30132,049512740...06131139,751131451...55001679,502September 19, 1983David Slowinski et al. (Cray)LLT on Cray X-MP[38]
31216,091746093...52844765,050278327...880128130,100September 1, 1985LLT on Cray X-MP/24[39][40]
32756,839174135...677887227,832151616...731328455,663February 17, 1992LLT on Harwell Lab's Cray-2[41]
33859,433129498...142591258,716838488...167936517,430January 4, 1994LLT on Cray C90[42]
341,257,787412245...366527378,632849732...704128757,263September 3, 1996LLT on Cray T94[43][44]
351,398,269814717...315711420,921331882...375616841,842November 13, 1996 GIMPS / Joel ArmengaudLLT / Prime95 on 90 MHz Pentium PC[45]
362,976,221623340...201151895,932194276...4629761,791,864August 24, 1997GIMPS / Gordon SpenceLLT / Prime95 on 100 MHz Pentium PC[46]
373,021,377127411...694271909,526811686...4578561,819,050January 27, 1998GIMPS / Roland ClarksonLLT / Prime95 on 200 MHz Pentium PC[47]
386,972,593437075...1937912,098,960955176...5727364,197,919June 1, 1999GIMPS / Nayan HajratwalaLLT / Prime95 on IBM Aptiva with 350 MHz Pentium II processor[48]
3913,466,917924947...2590714,053,946427764...0210568,107,892November 14, 2001GIMPS / Michael CameronLLT / Prime95 on PC with 800 MHz Athlon T-Bird processor[49]
4020,996,011125976...6820476,320,430793508...89612812,640,858November 17, 2003GIMPS / Michael ShaferLLT / Prime95 on Dell Dimension PC with 2 GHz Pentium 4 processor[50]
4124,036,583299410...9694077,235,733448233...95052814,471,465May 15, 2004GIMPS / Josh FindleyLLT / Prime95 on PC with 2.4 GHz Pentium 4 processor[51]
4225,964,951122164...0772477,816,230746209...08812815,632,458February 18, 2005GIMPS / Martin Nowak[52]
4330,402,457315416...9438719,152,052497437...70425618,304,103December 15, 2005GIMPS / Curtis Cooper & Steven BooneLLT / Prime95 on PC at University of Central Missouri[53]
4432,582,657124575...9678719,808,358775946...12025619,616,714September 4, 2006[54]
4537,156,667202254...22092711,185,272204534...48012822,370,543September 6, 2008GIMPS / Hans-Michael ElvenichLLT / Prime95 on PC[55]
4642,643,801169873...31475112,837,064144285...25337625,674,127June 4, 2009[d]GIMPS / Odd Magnar StrindmoLLT / Prime95 on PC with 3 GHz Intel Core 2 processor[56]
4743,112,609316470...15251112,978,189500767...37881625,956,377August 23, 2008GIMPS / Edson SmithLLT / Prime95 on Dell OptiPlex PC with Intel Core 2 Duo E6600 processor[55][57][58]
4857,885,161581887...28595117,425,170169296...13017634,850,340January 25, 2013GIMPS / Curtis CooperLLT / Prime95 on PC at University of Central Missouri[59][60]
*68,029,391Lowest unverified milestone[e]
49[f]74,207,281300376...43635122,338,618451129...31577644,677,235January 7, 2016[g]GIMPS / Curtis CooperLLT / Prime95 on PC with Intel Core i7-4790 processor[61][62]
50[f]77,232,917467333...17907123,249,425109200...30105646,498,850December 26, 2017GIMPS / Jonathan PaceLLT / Prime95 on PC with Intel Core i5-6600 processor[63][64]
51[f]82,589,933148894...90259124,862,048110847...20793649,724,095December 7, 2018GIMPS / Patrick LarocheLLT / Prime95 on PC with Intel Core i5-4590T processor[65][66]
*116,167,187Lowest untested milestone[e]

Historically, the largest known prime number has often been a Mersenne prime.

Notes

References

External links