Author 
Message 

See http://mersenneforum.org/showthread.php?t=22837
A day after Christmas a computer has reported a new Mersenne prime.
...finished (first) doublecheck:
Mxxxxxxxx is prime!
Congratulations to all GIMPS participants on their 20+ years of continuing team effort! 



I was just reading at this moment and going to post here. Congratz!
What score would it get a so large prime number here at Primegrid? 


Michael GoetzVolunteer moderator Project administrator
Send message
Joined: 21 Jan 10 Posts: 13804 ID: 53948 Credit: 345,369,032 RAC: 4,797

I was just reading at this moment and going to post here. Congratz!
What score would it get a so large prime number here at Primegrid?
They haven't made the actual number public yet, but here are some other numbers...
The largest nonMersenne, the SoB we found last year, has a score of 1.13 million.
M49, the previous (assuming the new Mersenne is larger) world record, has a score of 16.03 million.
If the new prime has 25 million digits (pure speculation there  I have no actual information), the score would be about 24 million.
For those who are interested, the formula is:
score = X^3 * ln(X) / Q
X is the size of the number expressed in base e  i.e., it's similar to the standard length calculation LOG10(k) + LOG10(b)*n, except using the natural logarithm instead of the base 10 logarithm. So X = ln(k) + ln(b)*n.
Q is a scaling factor equal to 150732545640984000.
Furthermore, if you're the double checker, the score is reduced by 50%.
It's very similar to the scoring function used at T5K, but with a different scaling factor.
____________
My lucky number is 75898^{524288}+1 



Thanks Michael. 



Well, we know the discovered prime now!
2^772329171
It is 23,249,425 digits long.
Press release: https://www.mersenne.org/primes/press/M77232917.html 



Incredible! 


Michael GoetzVolunteer moderator Project administrator
Send message
Joined: 21 Jan 10 Posts: 13804 ID: 53948 Credit: 345,369,032 RAC: 4,797

Would a potential GFN23 be larger than the newest Mersenne prime?
Yes.
The answer to what is probably your next question:
It's doable, but...
A) It would be really big tests (4 times as long as GFN22)
B) Lots of sieving needs to be done first
C) The chance of finding a prime is significantly less than finding one at n22, and we haven't found one yet at 22 after 5 years of searching. Or any at 21. The odds of success are not good.
When we first started, it wasn't even feasible because the state of the art GPUs had 1 GB of video memory. That's enough for GFN22, but not GFN23. If we did actually do this, I'd certainly restrict it to the faster video cards. You might want to think about tripling your GPU budget; a GT 1030 is not going to work on tests like that.
Items A and B we can overcome, but C makes it hard to justify the effort.
____________
My lucky number is 75898^{524288}+1 



You might want to think about tripling your GPU budget; a GT 1030 is not going to work on tests like that.
Unfortunately, the computer I'm putting the GPU in is a smallformfactor Dell Optiplex which has limited power and space.



Michael GoetzVolunteer moderator Project administrator
Send message
Joined: 21 Jan 10 Posts: 13804 ID: 53948 Credit: 345,369,032 RAC: 4,797

I was just reading at this moment and going to post here. Congratz!
What score would it get a so large prime number here at Primegrid?
Actual score:
18113181.97418924980940051180381
____________
My lucky number is 75898^{524288}+1 


GDBSend message
Joined: 15 Nov 11 Posts: 280 ID: 119185 Credit: 3,384,278,224 RAC: 3,850,419

Would a potential GFN23 be larger than the newest Mersenne prime?
Yes.
The answer to what is probably your next question:
It's doable, but...
A) It would be really big tests (4 times as long as GFN22)
B) Lots of sieving needs to be done first
C) The chance of finding a prime is significantly less than finding one at n22, and we haven't found one yet at 22 after 5 years of searching. Or any at 21. The odds of success are not good.
When we first started, it wasn't even feasible because the state of the art GPUs had 1 GB of video memory. That's enough for GFN22, but not GFN23. If we did actually do this, I'd certainly restrict it to the faster video cards. You might want to think about tripling your GPU budget; a GT 1030 is not going to work on tests like that.
Items A and B we can overcome, but C makes it hard to justify the effort.
Item B is a good reason to start GFN23 sieving NOW. It would be good to get 5+ years of sieving in before starting GFN23 tasks.



Yves GallotVolunteer developer Project scientist Send message
Joined: 19 Aug 12 Posts: 712 ID: 164101 Credit: 305,166,630 RAC: 0

Would a potential GFN23 be larger than the newest Mersenne prime?
GFN22 is sufficient: 349218^(2^22)+1 > 2^772329171 


RafaelVolunteer tester
Send message
Joined: 22 Oct 14 Posts: 906 ID: 370496 Credit: 478,969,923 RAC: 212,908

Would a potential GFN23 be larger than the newest Mersenne prime?
GFN22 is sufficient: 349218^(2^22)+1 > 2^772329171
Aka vote for GFNWR. C'mon, we run 2 GFN 17 already, no reason NOT to run 2 GFN 22.
jk :) 


Michael GoetzVolunteer moderator Project administrator
Send message
Joined: 21 Jan 10 Posts: 13804 ID: 53948 Credit: 345,369,032 RAC: 4,797

Would a potential GFN23 be larger than the newest Mersenne prime?
GFN22 is sufficient: 349218^(2^22)+1 > 2^772329171
Aka vote for GFNWR. C'mon, we run 2 GFN 17 already, no reason NOT to run 2 GFN 22.
jk :)
For those who weren't around back then, you might want to look up the discussion from when M49 was discovered. The same question was asked. The answer would be the same today. (It's actually not a bad question.)
____________
My lucky number is 75898^{524288}+1 



Would a potential GFN23 be larger than the newest Mersenne prime?
GFN22 is sufficient: 349218^(2^22)+1 > 2^772329171
Good! This also means that a GFN23 would need the square root of that base to be big enough. I mean, iff
b > 2^(77232917/2^23) = 590.9
then b^(2^23) will exceed the new Mersenne prime M77232917.
/JeppeSN 



Reading this, I found that any finder of a Mersenne Prime is awarded a $3000 Discovery Award (no matter what the size is). I assume there's no such award for anything found on PrimeGrid?? 


Michael GoetzVolunteer moderator Project administrator
Send message
Joined: 21 Jan 10 Posts: 13804 ID: 53948 Credit: 345,369,032 RAC: 4,797

Reading this, I found that any finder of a Mersenne Prime is awarded a $3000 Discovery Award (no matter what the size is). I assume there's no such award for anything found on PrimeGrid??
Correct. At least not unless we are the first to find a 100 million digit prime.
GIMPS' prize money comes from an anonymous EFF prize for the first 10 million digit prime (I think  it may have been the first 1 million digit prime). GIMPS put that prize in the bank and uses that to fund the small prizes they give out for finding each new Mersenne.
There's another prize for the first 100 million digit prime.
For more information, see https://www.eff.org/awards/coop
____________
My lucky number is 75898^{524288}+1 



Reading this, I found that any finder of a Mersenne Prime is awarded a $3000 Discovery Award (no matter what the size is). I assume there's no such award for anything found on PrimeGrid??
Correct. At least not unless we are the first to find a 100 million digit prime.
GIMPS' prize money comes from an anonymous EFF prize for the first 10 million digit prime (I think  it may have been the first 1 million digit prime). GIMPS put that prize in the bank and uses that to fund the small prizes they give out for finding each new Mersenne.
There's another prize for the first 100 million digit prime.
For more information, see https://www.eff.org/awards/coop
I think (may be wrong) when GIMPS found the first 1 million digit prime (first megaprime), the EFF prizes had just been announced. I actually think the work unit that led to the discovery of the first megaprime, was sent to the GIMPS user before the EFF prizes had been published, but nobody knew at that time, then when the result was returned, the prize was there. If I recall correctly, the entire amount went to that one lucky GIMPS user.
After that, GIMPS made a policy that in the future the money should be split, with some going to the user who finds the relevant prime, some going to finders of other (Mersenne) primes, and some going to the GIMPS project itself. Which seems fair enough to me.
By the time the first 10 M digit prime was found, the prize was split according to their policy. If they are first at 100 M digits, it will be the same.
I suppose PrimeGrid needs no EFF prize policy because we will most probably lose the "battle" to GIMPS.
/JeppeSN 


axnVolunteer developer Send message
Joined: 29 Dec 07 Posts: 285 ID: 16874 Credit: 28,027,106 RAC: 0

I suppose PrimeGrid needs no EFF prize policy because we will most probably lose the "battle" to GIMPS.
Having it and not needing it is better than needing it and not having it. 



Now, less than a year later, they find yet another one (the 51st known Mersenne)!? /JeppeSN 


HonzaVolunteer moderator Volunteer tester Project scientist Send message
Joined: 15 Aug 05 Posts: 1931 ID: 352 Credit: 5,702,840,170 RAC: 1,039,706

Yeah, 80M90M digits.
____________
My stats
Badge score: 1*1 + 5*1 + 8*3 + 9*11 + 10*1 + 11*1 + 12*3 = 186 


Michael GoetzVolunteer moderator Project administrator
Send message
Joined: 21 Jan 10 Posts: 13804 ID: 53948 Credit: 345,369,032 RAC: 4,797

Yeah, 80M90M digits.
I imagine it's bits.
____________
My lucky number is 75898^{524288}+1 



Yeah, 80M90M digits. (Edit: Ah, Michael Goetz already said this above…)
I think that means the exponent is between 80M and 90M.
Then the number of digits in the world record prime would be between 24,082,400 and 27,092,700.
/JeppeSN 


dukebgVolunteer tester
Send message
Joined: 21 Nov 17 Posts: 242 ID: 950482 Credit: 23,670,125 RAC: 0

Ahh, good old GIMPS ways:
As usual, the automatic email notification to myself and past Mersenne prime discoverers failed. Yes, the automatic email was debugged and tested after its last failure. Apparently bit rot set in. Fortunately the backup notification plan worked. 


Michael GoetzVolunteer moderator Project administrator
Send message
Joined: 21 Jan 10 Posts: 13804 ID: 53948 Credit: 345,369,032 RAC: 4,797

The new Mersenne prime is 2^{82589933}1.
This prime is 24862048 digits long.
For those that are curious, the GFN that would be greater than this would be:
846398^{222}+1 or 846398^{4194304}+1
The current leading edge is 139340^{4194304}+1, after almost 7 years.
If we were testing GFN23 the equivalent candidate would be:
920^{223}+1 or 920^{8388608}+1
SoB, even if we were done with the double check and were back processing leading edge candidates, would only be about 9 million digits. Even if we tested the entire contents of the SoB sieve file, that would only bring us to about 15 million digits.
____________
My lucky number is 75898^{524288}+1 


Yves GallotVolunteer developer Project scientist Send message
Joined: 19 Aug 12 Posts: 712 ID: 164101 Credit: 305,166,630 RAC: 0

The new Mersenne prime is 2^{82589933}1.
The number of "huge" Mersenne primes is completely abnormal.
Pomerance conjectured that the expected number of Mersenne primes 2^{p}1 with p between n and 2n is about e^{gamma}, where gamma is Euler's constant.
e^{gamma} ~ 1.78 then the number of Mersenne primes with p in [n; 10n[ is expected to be 5.9. We have
# digits of p exp. found
1 5.9 4
2 5.9 6
3 5.9 4
4 5.9 8
5 5.9 6
6 5.9 5
7 5.9 5
8 5.9 > 13



compositeVolunteer tester Send message
Joined: 16 Feb 10 Posts: 1022 ID: 55391 Credit: 887,837,784 RAC: 142,750

Would you please move these recent posts about possible M51 to a new thread? I had to read way down before I realized the new posts were no longer about M50.
Re: The number of "huge" Mersenne primes is completely abnormal.
The simulation is breaking down! "They" never expected us to be using 100M bit numbers! ;) 


Yves GallotVolunteer developer Project scientist Send message
Joined: 19 Aug 12 Posts: 712 ID: 164101 Credit: 305,166,630 RAC: 0

Re: The number of "huge" Mersenne primes is completely abnormal.
The simulation is breaking down! "They" never expected us to be using 100M bit numbers! ;)
This is not a simulation but a strong conjecture.
We can "simulate" the number of Mersenne primes with p in [x; 10x[ as being a Poisson distribution where the average number of events in the interval is λ = 5.9165945. We have:
n prob = n prob >= n
0 0.27 % 100.00 %
1 1.59 % 99.73 %
2 4.72 % 98.14 %
3 9.30 % 93.42 %
4 13.76 % 84.12 %
5 16.28 % 70.36 %
6 16.05 % 54.08 %
7 13.57 % 38.03 %
8 10.03 % 24.46 %
9 6.60 % 14.43 %
10 3.90 % 7.83 %
11 2.10 % 3.93 %
12 1.04 % 1.83 %
13 0.47 % 0.79 %
14 0.20 % 0.32 %
15 0.08 % 0.12 %
16 0.03 % 0.04 %
17 0.01 % 0.01 %
The chance that the number of Mersenne primes with 10^{8} <= p < 10^{9} is 13 or more is 1 in 126!
When this sort of thing is the result of one experiment in physics you start to look for the reason for the measurement error... 


compositeVolunteer tester Send message
Joined: 16 Feb 10 Posts: 1022 ID: 55391 Credit: 887,837,784 RAC: 142,750

Re: The number of "huge" Mersenne primes is completely abnormal.
The simulation is breaking down! "They" never expected us to be using 100M bit numbers! ;)
This is not a simulation but a strong conjecture.
My joke was obtuse, but I like your excellent ripost, effectively "reality is a strong conjecture".
Some people like to imagine that our reality is a big simulation (like the Matrix). With unlimited time, a finitesize computer with sufficient memory could simulate something as big as our "universe" with a finite precision in agreement with quantum theory. Since software is rarely bugfree, we have strong grounds to believe that reality is not a simulation. But finding unexpected results in the realm of pure math hints at an overflow condition in the simulation. 



Re: The number of "huge" Mersenne primes is completely abnormal.
The simulation is breaking down! "They" never expected us to be using 100M bit numbers! ;)
This is not a simulation but a strong conjecture.
My joke was obtuse, but I like your excellent ripost, effectively "reality is a strong conjecture".
Some people like to imagine that our reality is a big simulation (like the Matrix). With unlimited time, a finitesize computer with sufficient memory could simulate something as big as our "universe" with a finite precision in agreement with quantum theory. Since software is rarely bugfree, we have strong grounds to believe that reality is not a simulation. But finding unexpected results in the realm of pure math hints at an overflow condition in the simulation.
you forgot, there are bugs in "the matrix" ^^
____________



Michael GoetzVolunteer moderator Project administrator
Send message
Joined: 21 Jan 10 Posts: 13804 ID: 53948 Credit: 345,369,032 RAC: 4,797

With Mersenne 51(?) The gauntlet was thrown down, and we have accepted the challenge!
Do You Feel Lucky?
We may not win (i.e., find the next world record prime), in fact, it's rather unlikely, but the fun is in the journey, not the destination!
Good luck to everyone, including our friends at GIMPS!
____________
My lucky number is 75898^{524288}+1 



Now we already have the 51st Mersenne prime discovered by Patrick Laroche also around Christmas!
Onward, BOINC and GIMPS users! 



Actually, GFN22 won't, since M82539933 was discovered.
GFN23 will.
____________
My lucky number is 6219*2^3374198+1



robishVolunteer moderator Volunteer tester
Send message
Joined: 7 Jan 12 Posts: 2136 ID: 126266 Credit: 6,778,041,376 RAC: 2,756,793

Actually, GFN22 won't, since M82539933 was discovered.
GFN23 will.
Welcome to Primegrid Danny, see http://www.primegrid.com/forum_thread.php?id=8434
For update.
____________
My lucky numbers 1059094^{1048576}+1 and 224584605939537911+81292139*23#*n for n=0..26 



With Mersenne 51(?) The gauntlet was thrown down, and we have accepted the challenge!
Do You Feel Lucky?
We may not win (i.e., find the next world record prime), in fact, it's rather unlikely, but the fun is in the journey, not the destination!
Good luck to everyone, including our friends at GIMPS!
The GIMPS guys are focusing on trial factoring, not doing LucasLehmer tests on the 100 million primes or PRPs.
I hope that they will upgrade Prime95 becase it is so hard to use!
____________
My lucky number is 6219*2^3374198+1




hi robish, thx
____________
My lucky number is 6219*2^3374198+1



CrunchiVolunteer tester
Send message
Joined: 25 Nov 09 Posts: 3114 ID: 50683 Credit: 76,797,694 RAC: 7,338

The GIMPS guys are focusing on trial factoring, not doing LucasLehmer tests on the 100 million primes or PRPs.
I hope that they will upgrade Prime95 because it is so hard to use!
Opposite!
Prime95 is most optimized and very easy usable program !
And can be configured in many ways.
____________
92*10^^{1439761}1 NEARREPDIGIT PRIME :) :) :)
4 * 650^^{498101}1 CRUS PRIME
314187728^^{131072}+1 GENERALIZED FERMAT
Proud member of team Aggie The Pew. Go Aggie! 



If GFN 23 aka "lucky" take only 2324 hours on todays gf cards generation like 2080Ti..remind me relative short..
just if i compare to older times when was new nvidia 5xx or 6xx generations. take days to finnish one task..
maybe is time for bigger app .. i have no problem 7 day long task days on 2080Ti)). of course there is other factors what can complicated this big app ,,
For users wiht V100 nvidia is it just ..piece of cake..)
Problem is bigger app cannot by more lucky on prime.. but if try this many users.. i dont know.. i am not math spec.. 


RafaelVolunteer tester
Send message
Joined: 22 Oct 14 Posts: 906 ID: 370496 Credit: 478,969,923 RAC: 212,908

If GFN 23 aka "lucky" take only 2324 hours on todays gf cards generation like 2080Ti..remind me relative short..
just if i compare to older times when was new nvidia 5xx or 6xx generations. take days to finnish one task..
maybe is time for bigger app .. i have no problem 7 day long task days on 2080Ti)). of course there is other factors what can complicated this big app ,,
For users wiht V100 nvidia is it just ..piece of cake..)
Problem is bigger app cannot by more lucky on prime.. but if try this many users.. i dont know.. i am not math spec..
Except there's no reason to, at least not just yet. If you can test GFN 23, you can test it's 22 equivalent, which will run faster by nature, so you're better off exausting the 22 range (either by checking everything or having GIMPS find something too large) before moving to 23. 


Michael GoetzVolunteer moderator Project administrator
Send message
Joined: 21 Jan 10 Posts: 13804 ID: 53948 Credit: 345,369,032 RAC: 4,797

If GFN 23 aka "lucky" ...
Lucky is GFN22, not GFN23.
____________
My lucky number is 75898^{524288}+1 



will the GFN23 ever come out as a Primegrid subproject?
____________
My lucky number is 6219*2^3374198+1



CrunchiVolunteer tester
Send message
Joined: 25 Nov 09 Posts: 3114 ID: 50683 Credit: 76,797,694 RAC: 7,338

will the GFN23 ever come out as a Primegrid subproject?
You can always try
ABC $a^$b+1 // 2210062663681
4 8388608
6 8388608
10 8388608
12 8388608
14 8388608
16 8388608
18 8388608
22 8388608
24 8388608
26 8388608
28 8388608
36 8388608
38 8388608
44 8388608
but number size increase rapidly!
while for 4^8388608+1 is 5050446 digits , for 10000^8388608+1 is already 33554436 digits , and for 1000000^8388608+1 is 50331654 digits.
And since you have NVIDIA GeForce GT 440 (993MB), it is far away from your reach .
____________
92*10^^{1439761}1 NEARREPDIGIT PRIME :) :) :)
4 * 650^^{498101}1 CRUS PRIME
314187728^^{131072}+1 GENERALIZED FERMAT
Proud member of team Aggie The Pew. Go Aggie! 


Michael GoetzVolunteer moderator Project administrator
Send message
Joined: 21 Jan 10 Posts: 13804 ID: 53948 Credit: 345,369,032 RAC: 4,797

will the GFN23 ever come out as a Primegrid subproject?
Maybe at some time, but not now.
Every time we've considered it (usually after GIMPS finds another Mersenne prime) the numbers just didn't make a lot of sense.
Please see my earlier explanation in this same thread. Just scroll up, or down, depending on which way you have your forum preferences set.
____________
My lucky number is 75898^{524288}+1 



will the GFN23 ever come out as a Primegrid subproject?
In the (distant) future when we have found primes in GFN21 and GFN22, it is going to be natural to include also GFN23. /JeppeSN 



You can always try
What were your criteria for the bases in your ABC file?
ABC $a^$b+1 // 2210062663681
4 8388608
GF(23, 4) = GF(24, 2) = F(24) is a known composite.
6 8388608
GF(23, 6) has two known factors on prothsearch.com.
10 8388608
You were right to leave out GF(23, 8) since 8 is a cube.
GF(23, 10) is a known composite ("S. Batalov").
12 8388608
GF(23, 12) has a known factor.
14 8388608
16 8388608
GF(23, 16) = GF(25, 2) = F(25) has three known factors.
18 8388608
22 8388608
Why did you skip exactly GF(23, 20)? Personal sieving (it has the really small factor 5*2^25+1)?
And so on.
/JeppeSN 


CrunchiVolunteer tester
Send message
Joined: 25 Nov 09 Posts: 3114 ID: 50683 Credit: 76,797,694 RAC: 7,338

You can always try
What were your criteria for the bases in your ABC file?
ABC $a^$b+1 // 2210062663681
4 8388608
GF(23, 4) = GF(24, 2) = F(24) is a known composite.
6 8388608
GF(23, 6) has two known factors on prothsearch.com.
10 8388608
You were right to leave out GF(23, 8) since 8 is a cube.
GF(23, 10) is a known composite ("S. Batalov").
12 8388608
GF(23, 12) has a known factor.
14 8388608
16 8388608
GF(23, 16) = GF(25, 2) = F(25) has three known factors.
18 8388608
22 8388608
Why did you skip exactly GF(23, 20)? Personal sieving (it has the really small factor 5*2^25+1)?
And so on.
/JeppeSN
I give output of GFNsieve program. As you can see sieve depth is very low.So it is ok to have more factors...and they will be eliminate while sieve progress. Or it is bug in GFNsieve program for such big exponent
____________
92*10^^{1439761}1 NEARREPDIGIT PRIME :) :) :)
4 * 650^^{498101}1 CRUS PRIME
314187728^^{131072}+1 GENERALIZED FERMAT
Proud member of team Aggie The Pew. Go Aggie! 



I give output of GFNsieve program. As you can see sieve depth is very low.So it is ok to have more factors...and they will be eliminate while sieve progress. Or it is bug in GFNsieve program for such big exponent
Cool enough. That is probably the natural thing to do. Those very small b values are just so "interesting" that a lot is known already, but GFNsieve starts from "scratch". /JeppeSN 

