mersenneforum.org

mersenneforum.org (https://www.mersenneforum.org/index.php)
-   News (https://www.mersenneforum.org/forumdisplay.php?f=151)
-   -   Lucky 13 (M51 related) (https://www.mersenneforum.org/showthread.php?t=23877)

pinhodecarlos 2018-12-10 14:30

[QUOTE=axn;502269]What is the progress/ETA on the verification runs?

And, what is the plan on the press release? Pre-christmas or post new year?[/QUOTE]

I’ve verified on my TI-89, just awaiting for the slowest ones.

GP2 2018-12-10 14:48

[QUOTE=henryzz;502254]Is it prime or prp currently? This could the first using the new testing methodology[/QUOTE]

It must have been found by LL test, because we know that Mlucas and CUDALucas are being used for the verification, not gpuOwL.

However, it might be worthwhile to retest every known Mersenne prime with PRP.

Currently our verification method is to use different software implementations of the same Lucas-Lehmer algorithm on different hardware (GPU vs CPU). PRP, on the other hand, is a different algorithm.

No, it can't prove primality. But it can prove compositeness. And at this point, with such an improbable surplus of Mersenne primes, maybe a drastic sanity check is needed for peace of mind, just in case software implementers exchanged ideas and somehow ended up all making some identical implementation error. It's a crazy notion, I know.

kriesel 2018-12-10 15:07

[QUOTE=Prime95;502167]On Dec 7th, a new Mersenne prime was reported. I emailed the discoverer, obtained the last save file, and reran the last 100,000 iterations. Sure enough, we have a new prime!

Aaron has started a full test using prime95, but that doesn't count as an official double-check. We need a volunteer to run CudaLucas and/or mlucas.
[/QUOTE]
If it still matters, you have my standing offer from some time ago. Current fastest hardware is GTX1080Ti ready with CUDALucas v2.06 May 5 2017 beta, capable of knocking out a ~82M exponent in about 3 days, backed up by a GTX1080, and a 16-core e5-2670 system with prime95 V29.4b8. The GTX1080Ti at 84+GhzD/day for 85M is ~10% faster than a 2080 Ti for LL per [URL]https://www.mersenne.ca/cudalucas.php[/URL] (14th fastest model in the list, and that includes combined throughputs of some duals and a quad; 10th fastest single). And no, that 82M or 85M is not a clue to the nature of Mp51; it's just what I checked the 1080Ti's run time on recently. It would take me some time to put up mlucas on the system.

kriesel 2018-12-10 15:19

[QUOTE=Prime95;502167]
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.[/QUOTE]Tradition continues!

Uncwilly 2018-12-10 15:26

I've noticed some interesting names with some interesting exponent assignments that will be "home for the holidays" as it were.

MD5 hash guess of one that looks tasty (includes exponent assignee MM/DD expected completion date)
[B]227a10ba5bbe1b4b033c2983ee417ee9[/B]

It does fit the 2 requirements posted by George and Alex. There also appears to be some funny business in the history on the assignment page.

Madpoo 2018-12-10 15:50

The first verification run done by ATH confirms it: We have a new prime!

I'm not sure when George will do the press release - as was pointed out, the best way to predict when a prime is found is when George is on vacation. :smile:

I'll say a few things:[LIST][*]It was found by LL, not PRP. Although as noted, I think if we found one by PRP we'd do a pair of LL tests to confirm.[*]It's more than 80M and less than 90M[*]The discoverer has not found any previous primes[/LIST]

irowiki 2018-12-10 16:14

So just to be sure, I set the lion's share of my machines to PRP. Should they be doing LL instead, or is PRP fine?

Prime95 2018-12-10 16:23

[QUOTE=irowiki;502291]So just to be sure, I set the lion's share of my machines to PRP. Should they be doing LL instead, or is PRP fine?[/QUOTE]

PRP is a good way to go. I've moved half of my CPUs to PRP, eventually all will PRP.

Madpoo 2018-12-10 17:31

[QUOTE=irowiki;502291]So just to be sure, I set the lion's share of my machines to PRP. Should they be doing LL instead, or is PRP fine?[/QUOTE]

Smarter folks than I can weigh in, like George did in mentioning that PRP is the future...

Here's my understanding: PRP is probabilistic and LL is deterministic. So although a PRP can say "M###" is [B]probably[/B] prime, an LL test can say "M###" [B]is[/B] prime.

PRP tests have the benefit of the Gerbicz error checking code that may make double-checking the tests unnecessary.

As to just how probable the PRP tests are, I understand that when PRP says it's probably prime, that probability is VERY high. And when I say the PRP error checking makes double-checks obsolete, I think that's generally true although I foresee cases where spot-checks make sense, but overall that's where I think it's headed. If I'm wrong in my assumptions, someone will correct me I'm sure. :smile:

When it comes to finding a new Mersenne Prime, I guess the question about whether a probable finding is good enough to be accepted, or would the LL test be required before it's confirmed. Maybe that's similar to how we already verify a prime using different software - it's a way of ensuring there aren't any code issues or other obscure things.

Madpoo 2018-12-10 17:55

The [URL="https://www.mersenne.org"]mersenne.org[/URL] homepage has been updated with a little blurb about the discovery, linking to this thread. More of a pre-release release with a promise of details to follow.

kriesel 2018-12-10 18:28

PRP and other runs on already-known mersenne primes
 
[QUOTE=GP2;502279]It must have been found by LL test, because we know that Mlucas and CUDALucas are being used for the verification, not gpuOwL.

However, it might be worthwhile to retest every known Mersenne prime with PRP.
[/QUOTE]
Looking back through mersenne.org, I see some exponents determined prime also have (anonymous) incorrect composite LL indications; [URL]https://www.mersenne.org/report_exponent/?exp_lo=216091&exp_hi=&full=1[/URL]
[URL]https://www.mersenne.org/report_exponent/?exp_lo=756839&exp_hi=&full=1[/URL]
[URL]https://www.mersenne.org/report_exponent/?exp_lo=6972593&exp_hi=&full=1[/URL]
[URL]https://www.mersenne.org/report_exponent/?exp_lo=13466917&exp_hi=&full=1[/URL]

Quite a few Mersenne primes also have recent failed TF or P-1 attempts also.

These following PRP runs on already known mersenne primes have not been reported yet to mersenne.org, but could be if it were useful. I may assemble them into my gpuowl reference data instead or also. Running known mersenne prime PRP checks was done as QA on gpuowl new versions/features.

gpuowl v5.0-df2bdf2 build for Win7 x64 PRP with P-1, p= 216091, 756839, 859433 by kriesel
[URL]https://www.mersenneforum.org/showpost.php?p=499569&postcount=867[/URL]
Per Preda, for a prime, residue = PRP-1 base, see
[URL]https://www.mersenneforum.org/showpost.php?p=499298&postcount=826[/URL]
[URL]https://www.mersenneforum.org/showpost.php?p=499292&postcount=823[/URL]

gpuowl v3.8-91c52fa p=1257787
[URL]https://www.mersenneforum.org/showpost.php?p=499299&postcount=827[/URL]

(p=756839, example of PRP GEC in [URL]https://www.mersenneforum.org/showpost.php?p=499252&postcount=815[/URL])

gpuowl v5.0-f604bb1 p=1257787, 1398269, 2976221, 3021377 by kriesel
[URL]https://www.mersenneforum.org/showpost.php?p=499263&postcount=818[/URL]

Also, unposted(?), gpuowl v5.0-9c13870 p=6972593


All times are UTC. The time now is 07:59.

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