mersenneforum.org

mersenneforum.org (https://www.mersenneforum.org/index.php)
-   Data (https://www.mersenneforum.org/forumdisplay.php?f=21)
-   -   New milestone (https://www.mersenneforum.org/showthread.php?t=7082)

Mini-Geek 2010-06-17 02:38

[QUOTE=Primeinator;218908]It appears to me that M(20425091) is currently not assigned to anyone... this is the last exponent needed to prove M40 is truly M40. Can someone with skills superior to mine verify this?

[url]http://www.mersenne.org/report_LL/?exp_lo=1&exp_hi=20996011&exp_date=&user_only=0&user_id=Primeinator&exdchk=1&exbad=1&exfactor=1&dispdate=1&B1=Get+LL+data[/url][/QUOTE]

That page only shows results, not assignments.
[url]http://www.mersenne.org/report_exponent/?exp_lo=20425091[/url] still says it's assigned:
"Assigned Double-checking to "ANONYMOUS" on 2009-10-21"
And to confirm, I just requested the DC of that number, but it didn't let me have it (because it's already assigned).

But to confirm part of it (which you may or may not have been unsure of): this is indeed the last exponent to prove that M20996011 is M40.

Primeinator 2010-06-17 02:40

[QUOTE=Mini-Geek;218909]That page only shows results, not assignments.
[url]http://www.mersenne.org/report_exponent/?exp_lo=20425091[/url] still says it's assigned:
"Assigned Double-checking to "ANONYMOUS" on 2009-10-21"
And to confirm, I just requested the DC of that number, but it didn't let me have it (because it's already assigned).[/QUOTE]

Yes, I realized my rather stupid mistake immediately after posting. My apologies.

Oddball 2010-06-30 18:44

[QUOTE=Primeinator;213285]These are very close too. I propose a celebration for when they conclude as well. Bring on the wine! :beer:

# Countdown to testing all exponents below M(32582657) once: 16
# Countdown to testing all exponents below M(37156667) once: 47[/QUOTE]
Two months later, there's quite a lot of progress on one milestone, but barely any progress on the other one:

Countdown to testing all exponents below M(32582657) once: 15
Countdown to testing all exponents below M(37156667) once: 29

S485122 2010-07-11 09:44

M40 is proven the 40 th prime !
 
Today 2010-07-11 at 07:54 UTC Nathan Edington returned a manual result which matched a previous one : this proves M20425091 composite and thus proves that M40 (M20996011) is the 40[sup]th[/sup] Mersenne prime !!!

Jacob

10metreh 2010-07-11 10:59

:bounce wave::bounce wave::bounce wave:

NBtarheel_33 2010-07-11 21:37

[quote=S485122;221044]Today 2010-07-11 at 07:54 UTC Nathan Edington returned a manual result which matched a previous one : this proves M20425091 composite and thus proves that M40 (M20996011) is the 40[sup]th[/sup] Mersenne prime !!!

Jacob[/quote]

Yep, 'twas yours truly that finally put the thing out of its misery. I can think of two milestones that we can now add to the milestones page:

* M40 is proven to really be M40 (of course)
* All exponents under 21 million have been doublechecked.

George (and others) might also be interested in knowing that this exponent was tested with the new Prime95 v26 that he had out for alpha release a couple of weeks ago...and all went well (it was a matching residue), so his new FFT code must be reasonably okay. The only weird thing that happened was when I tried to do the manual submission, PrimeNet wouldn't take the checksum signature line starting with We4: (indicating the program version). But after I doctored it to read Wd4: it went through without a hitch. This is probably a Good Thing, as George indicated that it might not be wise to use v26 extensively for production work - that's why I ran a doublecheck, and this particular doublecheck, as it provided an easy way to track down any problems that may have occurred with the result.

For those of you (George?) interested in benchmarks/timings, with everything else sitting idle, Betsy the 3.06 GHz P4 ran 10,000 iterations of M20425091 every 5 minutes and 54-58 seconds, on average. This figure started off up in the 6:20-6:30 range before I blew out the fans with a gas duster :smile:.

OK, everyone, first 100M result probably comes in tomorrow, and then it's onward to prove Mxx is Mxx for xx >= 41!

Primeinator 2010-07-11 23:10

[QUOTE=S485122;221044]Today 2010-07-11 at 07:54 UTC Nathan Edington returned a manual result which matched a previous one : this proves M20425091 composite and thus proves that M40 (M20996011) is the 40[sup]th[/sup] Mersenne prime !!!
[/QUOTE]

Excellent!! :fusion::fusion::fusion::fusion::fusion::fusion::fusion::fusion::fusion::fusion:

[QUOTE]Countdown to proving M(20996011) is the 40th Mersenne Prime: 0[/QUOTE]

We have a ways to go for M41 though:

[QUOTE]Countdown to proving M(24036583) is the 41st Mersenne Prime: 5,599[/QUOTE]

imwithid 2010-07-12 05:14

Time seems an eternity when it's down to one. That last milestone for the 40th mersenne just wouldn't complete. I suppose the news will get around and make the main page soon enough.

Primeinator 2010-07-12 11:57

[QUOTE=imwithid;221124]Time seems an eternity when it's down to one. That last milestone for the 40th mersenne just wouldn't complete. I suppose the news will get around and make the main page soon enough.[/QUOTE]

Yes. It took nearly 7 years after finding M40 to prove it was truly the 40th Mersenne prime.

lycorn 2010-07-12 17:12

[quote=Primeinator;221148]It took nearly 7 years after finding M40 to prove it was truly the 40th Mersenne prime.[/quote]

Double checkers urgently needed... :help:

ATH 2010-07-12 17:28

# Countdown to testing all exponents below M(30402457) once: 2
# Countdown to testing all exponents below M(32582657) once: 13
# Countdown to testing all exponents below M(37156667) once: 26

The server counts Suspect LL as a sucessfull LL, which I don't think it should. Counting the Suspect LL as well the numbers are:

# Countdown to testing all exponents below M(30402457) once: 2
# Countdown to testing all exponents below M(32582657) once: 14 (+1)
# Countdown to testing all exponents below M(37156667) once: 34 (+8)
and
Countdown to testing all exponents below M(33219281) (10M digits) once: 16


All times are UTC. The time now is 22:34.

Powered by vBulletin® Version 3.8.11
Copyright ©2000 - 2021, Jelsoft Enterprises Ltd.