New milestone

[Mini-Geek]

Originally Posted by Primeinator

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?

http://www.mersenne.org/report_LL/?e...B1=Get+LL+data

That page only shows results, not assignments.
http://www.mersenne.org/report_expon...xp_lo=20425091 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]

Originally Posted by Mini-Geek

That page only shows results, not assignments.
http://www.mersenne.org/report_expon...xp_lo=20425091 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).

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

[Oddball]

Originally Posted by Primeinator

These are very close too. I propose a celebration for when they conclude as well. Bring on the wine!

# Countdown to testing all exponents below M(32582657) once: 16
# Countdown to testing all exponents below M(37156667) once: 47

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]

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^th Mersenne prime !!!

Jacob

[10metreh]

[NBtarheel_33]

Originally Posted by S485122

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^th Mersenne prime !!!

Jacob

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 .

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

[Primeinator]

Originally Posted by S485122

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^th Mersenne prime !!!

Excellent!!

Countdown to proving M(20996011) is the 40th Mersenne Prime: 0

We have a ways to go for M41 though:

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

[imwithid]

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]

Originally Posted by imwithid

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.

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

[lycorn]

Originally Posted by Primeinator

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

Double checkers urgently needed...

[ATH]

# 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