mersenneforum.org  

Go Back   mersenneforum.org > Great Internet Mersenne Prime Search > News

Reply
 
Thread Tools
Old 2018-12-09, 14:52   #1
Prime95
P90 years forever!
 
Prime95's Avatar
 
Aug 2002
Yeehaw, FL

52×172 Posts
Default Lucky 13 (M51 related)

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.

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.
Prime95 is offline   Reply With Quote
Old 2018-12-09, 15:13   #2
Uncwilly
6809 > 6502
 
Uncwilly's Avatar
 
"""""""""""""""""""
Aug 2003
101×103 Posts

7·1,277 Posts
Default

Uncwilly is online now   Reply With Quote
Old 2018-12-09, 15:31   #3
ATH
Einyen
 
ATH's Avatar
 
Dec 2003
Denmark

23×373 Posts
Default

Quote:
Originally Posted by Prime95 View Post
There are other possible miracles
https://mersenneforum.org/showpost.p...postcount=2924


Nice hint It reminds me of the quote from Stephen King's "The Dark Tower" series:

"There are other worlds than these"


I am ready to test with CUDALucas, Mlucas etc.

Last fiddled with by ATH on 2018-12-09 at 15:32
ATH is online now   Reply With Quote
Old 2018-12-09, 15:44   #4
vasyannyasha
 
vasyannyasha's Avatar
 
"Vasiliy"
Apr 2017
Ukraine

1111002 Posts
Default

Congratulations to discoverer!
Curtis Cooper is discoverer or not?

Last fiddled with by vasyannyasha on 2018-12-09 at 15:47
vasyannyasha is offline   Reply With Quote
Old 2018-12-09, 15:47   #5
Brian-E
 
Brian-E's Avatar
 
"Brian"
Jul 2007
The Netherlands

1100110000112 Posts
Default

Quite astonishing!
How many more of these finds do we need before statistical cluster analysis lets us suspect that some as yet undiscovered mechanism is at work here making mersenne numbers more likely to be prime than was previously thought?
Brian-E is offline   Reply With Quote
Old 2018-12-09, 16:10   #6
pinhodecarlos
 
pinhodecarlos's Avatar
 
"Carlos Pinho"
Oct 2011
Milton Keynes, UK

2×2,389 Posts
Default

Nice.
pinhodecarlos is online now   Reply With Quote
Old 2018-12-09, 16:48   #7
ZK19
 
ZK19's Avatar
 
Oct 2018

22 Posts
Default

Congratulations!
ZK19 is offline   Reply With Quote
Old 2018-12-09, 18:01   #8
ET_
Banned
 
ET_'s Avatar
 
"Luigi"
Aug 2002
Team Italia

22×1,193 Posts
Default

DoubleMersennes.org (l.morelli at moreware.org) is silently waiting to know the exponent to start what could be considered a lengthy sieving process before updating the tables.
ET_ is offline   Reply With Quote
Old 2018-12-09, 18:21   #9
TheJudger
 
TheJudger's Avatar
 
"Oliver"
Mar 2005
Germany

2·3·5·37 Posts
Smile

Congratulations!
TheJudger is offline   Reply With Quote
Old 2018-12-09, 18:59   #10
Batalov
 
Batalov's Avatar
 
"Serge"
Mar 2008
Phi(4,2^7658614+1)/2

217368 Posts
Default

Congratulations!

I wonder if someone like Terence Tao could be intrigued into a review of the MP distribution heuristic, finally?
Batalov is offline   Reply With Quote
Old 2018-12-09, 19:26   #11
GP2
 
GP2's Avatar
 
Sep 2003

2×1,291 Posts
Default

I wonder if the exponent is congruent to 1 or to 3 (mod 4)?

There is a somewhat improbable imbalance in favor of the 1's.

https://mersenneforum.org/showthread.php?p=502076
GP2 is offline   Reply With Quote
Reply

Thread Tools


Similar Threads
Thread Thread Starter Forum Replies Last Post
Lucky ECM results mnd9 Data 1 2020-02-04 02:32
Fun with the Lucky Numbers of Euler ewmayer Probability & Probabilistic Number Theory 0 2015-10-18 01:37
Extremely lucky assignments apocalypse GPU to 72 6 2015-04-07 04:41
Lucky ECM hit Dubslow Factoring 3 2014-10-19 19:10
Lucky gmp-ecm curve... WraithX GMP-ECM 4 2009-01-12 16:29

All times are UTC. The time now is 21:04.

Thu Dec 3 21:04:06 UTC 2020 up 17:15, 1 user, load averages: 2.22, 2.16, 2.09

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

This forum has received and complied with 0 (zero) government requests for information.

Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.2 or any later version published by the Free Software Foundation.
A copy of the license is included in the FAQ.