mersenneforum.org  

Go Back   mersenneforum.org > Prime Search Projects > Five or Bust - The Dual Sierpinski Problem

Reply
 
Thread Tools
Old 2009-01-07, 19:16   #1
philmoore
 
philmoore's Avatar
 
"Phil"
Sep 2002
Tracktown, U.S.A.

1,117 Posts
Default Record probable prime found!

Congratulations to Ben Maloney (paleseptember) who discovered the probable prime 2^{1518191}+75353. At 457,022 decimal digits, it should soon appear as the new probable prime record at the website of Henri and Renaud Lifchitz, PRP Records, Probable Primes Top 10000. We have performed strong probable prime tests on this number to all 20 prime bases from 2 to 71. The probability that a random number of this size that passes even one strong probable prime test is composite is less than 10^{-728}. This eliminates the first of the five sequences, and should speed up our PRP testing by over 20% as well as our sieving by around 10%. I have already uploaded new work files and will get a new sieve file up soon as well. Thanks to everyone who contributed to this effort!

And now for the embarrassing part - this prp actually showed up in early November, but was not noticed by either of us! In fact, PRP testing is currently approaching 630,000 digits, a good bit beyond this record. I visually scanned all of the results files when they came in, but obviously, out of the more than 300 results in this file, I overlooked the important one! Moral: computers make fewer mistakes than humans, so always search the file for the string "probable". Ben says he did search, but specified the wrong string. Unfortunately, it means that 20% of our PRP testing the past two months was unnecessary, but in the long run, that is probably a drop in the bucket compared to what comes next. All I can say is that it will not happen again!

We are close to finishing PRP testing up to n=2^21, about 2.1 million. In the range from 2^21 to 2^22, I calculate that we should expect about 0.667 new primes. Let's go find another one!
philmoore is offline   Reply With Quote
Old 2009-01-07, 19:23   #2
engracio
 
engracio's Avatar
 
May 2007

112 Posts
Default

Congratulation Ben and Phil. Great job.

Let's find another one.
engracio is offline   Reply With Quote
Old 2009-01-07, 19:28   #3
Mini-Geek
Account Deleted
 
Mini-Geek's Avatar
 
"Tim Sorbera"
Aug 2006
San Antonio, TX USA

426710 Posts
Default

Congrats! Out of curiosity, about how long would it take to definitively prove this prime?
Mini-Geek is offline   Reply With Quote
Old 2009-01-07, 19:52   #4
philmoore
 
philmoore's Avatar
 
"Phil"
Sep 2002
Tracktown, U.S.A.

45D16 Posts
Default

Quote:
Originally Posted by Mini-Geek View Post
Out of curiosity, about how long would it take to definitively prove this prime?
About 500 million years. I get around the same answer, either scaling up ECPP, or assuming the Generalized Riemann Hypothesis, and doing Miller-Rabin to all bases < 2(ln N)^2.
philmoore is offline   Reply With Quote
Old 2009-01-07, 20:40   #5
Mini-Geek
Account Deleted
 
Mini-Geek's Avatar
 
"Tim Sorbera"
Aug 2006
San Antonio, TX USA

17·251 Posts
Default

Quote:
Originally Posted by philmoore View Post
About 500 million years. I get around the same answer, either scaling up ECPP, or assuming the Generalized Riemann Hypothesis, and doing Miller-Rabin to all bases < 2(ln N)^2.
Wow. I knew it'd be way too long to be practical, but that's REALLY long. Thanks.
Mini-Geek is offline   Reply With Quote
Old 2009-01-07, 21:00   #6
CRGreathouse
 
CRGreathouse's Avatar
 
Aug 2006

10111001001012 Posts
Default

Quote:
Originally Posted by philmoore View Post
About 500 million years. I get around the same answer, either scaling up ECPP, or assuming the Generalized Riemann Hypothesis, and doing Miller-Rabin to all bases < 2(ln N)^2.
But think -- if Moore's law continues until the GRH is proved a hundred years from now, it'll take under a millisecond to prove with Miller's test.
CRGreathouse is offline   Reply With Quote
Old 2009-01-07, 21:34   #7
paleseptember
 
paleseptember's Avatar
 
Jun 2008
Wollongong, .au

3×61 Posts
Default



<does the (probably) Prime Happy Dance!>

I am quite excited by this. Though I can't believe I missed the result. Argghhh! Have very carefully checked all my other results files now.

Time for one more Happy Dance? Yeah, I think so!

paleseptember is offline   Reply With Quote
Old 2009-01-07, 21:47   #8
henryzz
Just call me Henry
 
henryzz's Avatar
 
"David"
Sep 2007
Cambridge (GMT/BST)

2·2,861 Posts
Default

Quote:
Originally Posted by paleseptember View Post


<does the (probably) Prime Happy Dance!>

I am quite excited by this. Though I can't believe I missed the result. Argghhh! Have very carefully checked all my other results files now.

Time for one more Happy Dance? Yeah, I think so!

nice dancing
henryzz is offline   Reply With Quote
Old 2009-01-07, 22:25   #9
paleseptember
 
paleseptember's Avatar
 
Jun 2008
Wollongong, .au

3×61 Posts
Default

Quote:
Originally Posted by henryzz View Post
nice dancing

Thanks! Not nearly so awesome as your avatar. That's some wicked turtle dancing ^_^
paleseptember is offline   Reply With Quote
Old 2009-01-07, 22:39   #10
em99010pepe
 
em99010pepe's Avatar
 
Sep 2004

2×5×283 Posts
Default

Congrats Ben!!!

(Copied the first post to Free-DC forum..lol)
em99010pepe is offline   Reply With Quote
Old 2009-01-08, 00:32   #11
Kman1293
 
Feb 2008

11 Posts
Default

Congratulations!
Kman1293 is offline   Reply With Quote
Reply

Thread Tools


Similar Threads
Thread Thread Starter Forum Replies Last Post
World Record Factorial Prime Found rogue Lounge 8 2012-03-02 16:41
Gigantic Probable Prime Triplet found Cybertronic Twin Prime Search 18 2011-08-20 13:36
Fourth probable prime found, one to go! philmoore Five or Bust - The Dual Sierpinski Problem 22 2010-01-01 00:23
Megadigit probable prime found, our third! philmoore Five or Bust - The Dual Sierpinski Problem 25 2009-09-09 06:48
Another record probable prime found! philmoore Five or Bust - The Dual Sierpinski Problem 15 2009-02-08 19:43

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

Fri Sep 25 07:56:13 UTC 2020 up 15 days, 5:07, 0 users, load averages: 1.92, 1.69, 1.50

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.