mersenneforum.org  

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

Reply
 
Thread Tools
Old 2012-10-22, 20:46   #342
Batalov
 
Batalov's Avatar
 
"Serge"
Mar 2008
Phi(4,2^7658614+1)/2

2·33·132 Posts
Default

It could be a factor for some other number, and as such its character has to be known. Here's where it sits. It is an extremely useful data warehouse. Their internal validation is different from Primo, an open-source script (there was a discussion some place in the factordb thread).

Here's some fun that you can have with this now proven number P=2^56366+39079:
If you construct a PRP of a form a*(P^3+b*P^2+c*P)+-1 (that's only for example; you can use some other forms), then you can immediately prove it prime by N+-1 method based on P being a proven prime.

Last fiddled with by Batalov on 2012-10-22 at 20:56
Batalov is offline   Reply With Quote
Old 2012-10-22, 21:00   #343
Cybertronic
 
Cybertronic's Avatar
 
Jan 2007
DEUTSCHLAND !

3·89 Posts
Default

Wow Peter , congratulations !
Cybertronic is offline   Reply With Quote
Old 2012-10-22, 21:15   #344
Dubslow
Basketry That Evening!
 
Dubslow's Avatar
 
"Bunslow the Bold"
Jun 2011
40<A<43 -89<O<-88

11100001101012 Posts
Default

Quote:
Originally Posted by Puzzle-Peter View Post
Thanks!

Factordb? I think I've read this before but honestly I don't even really know what it is. I can guess from the name though. But this numbers does not have any factors. I am confused. I think I need to do some reading...
Quote:
Originally Posted by Batalov View Post
It could be a factor for some other number, and as such its character has to be known. Here's where it sits. It is an extremely useful data warehouse. Their internal validation is different from Primo, an open-source script (there was a discussion some place in the factordb thread).

Here's some fun that you can have with this now proven number P=2^56366+39079:
If you construct a PRP of a form a*(P^3+b*P^2+c*P)+-1 (that's only for example; you can use some other forms), then you can immediately prove it prime by N+-1 method based on P being a proven prime.
Nominally after a certificate has been uploaded the status changes from PRP to P, but c.f. here, that's broken at the moment. Pretend it's a P.
Dubslow is offline   Reply With Quote
Old 2012-10-22, 21:41   #345
Batalov
 
Batalov's Avatar
 
"Serge"
Mar 2008
Phi(4,2^7658614+1)/2

912610 Posts
Default

Quote:
Originally Posted by Dubslow View Post
Nominally after a certificate has been uploaded the status changes from PRP to P, but c.f. here, that's broken at the moment. Pretend it's a P.
Nothing is broken. You've never dealt with primes large enough. There's always a delay for the validation step. It is surely infinitesimal for PRPs of the aliquot run-of-the mill size.

I had submitted sizeable certificates before. For them, the delay is significant. Now, here, this particular number is a monster. Nothing will be "usual" here. Not only FactorDB, but the UTM pipeline will be quite possibly manually shunted. (UTM makes special notes for offsite validations that they cannot reproduce but that had come from trusted sources.)


P.S. Ho-ho-ho. Look at out old "friend" Liquid N2. Submitted a PRP to them instead of Lifchitz&Lifchitz. It will be removed - look at it now before too late.

Last fiddled with by Batalov on 2012-10-22 at 21:56 Reason: added UTM status (currently: "Verify")
Batalov is offline   Reply With Quote
Old 2012-10-22, 22:19   #346
philmoore
 
philmoore's Avatar
 
"Phil"
Sep 2002
Tracktown, U.S.A.

1,117 Posts
Default

Congratulations! At 16968 digits, it is the fourth largest prime proven by ECPP, and the largest proven by Marcel Martin's Primo.
philmoore is offline   Reply With Quote
Old 2012-10-23, 14:41   #347
Puzzle-Peter
 
Puzzle-Peter's Avatar
 
Jun 2009

2·5·67 Posts
Default

Quote:
Originally Posted by Batalov View Post
Nothing is broken. You've never dealt with primes large enough. There's always a delay for the validation step. It is surely infinitesimal for PRPs of the aliquot run-of-the mill size.

I had submitted sizeable certificates before. For them, the delay is significant. Now, here, this particular number is a monster.
Is validating the same as re-running Phase2 in PRIMO? That took one week with 16 threads on 12 physical cores.
Puzzle-Peter is offline   Reply With Quote
Old 2012-10-23, 18:04   #348
Batalov
 
Batalov's Avatar
 
"Serge"
Mar 2008
Phi(4,2^7658614+1)/2

216468 Posts
Default

No, it is much faster. It verifies that all relations are valid. (There's also a very fast signature checking, that's almost instantaneous, but only checks that the file is not damaged in transfer or not manually edited.)

It should be done today. (Running on a slow 4-cpu box.) ...Done. The certificate is valid.

Last fiddled with by Batalov on 2012-10-24 at 02:25
Batalov is offline   Reply With Quote
Old 2012-10-26, 06:22   #349
Puzzle-Peter
 
Puzzle-Peter's Avatar
 
Jun 2009

2·5·67 Posts
Default

I see a user comment has been added on Chris Caldwells pages. Thanks! Could anybody tell me how to do this in the future? I can edit the existing comment now which is great because the sendspace link will expire and I hope to see the certificate an Marcel Martins page at some point (no answer to my email to him yet). But how can I make a new comment? I seem to be unable to find out

Last fiddled with by Puzzle-Peter on 2012-10-26 at 06:23
Puzzle-Peter is offline   Reply With Quote
Old 2012-10-26, 06:56   #350
Batalov
 
Batalov's Avatar
 
"Serge"
Mar 2008
Phi(4,2^7658614+1)/2

100011101001102 Posts
Default

David is your co-author; I guess that is an authentication worth enough.
Log in with the credentials you created (PrimeGrid for example could create an account for you that you won't be able to log in to, but here, this is not the case), and look around.

I've never had an occasion to post a comment. Standard official comments had been posted on my behalf, e.g. a Generalized Fermat note. If I will happen to find a Proth prime that will be a Generalized Fermat Factor, PrimeGrid will compute that and also post it on my behalf.
Batalov is offline   Reply With Quote
Old 2012-12-14, 12:58   #351
Puzzle-Peter
 
Puzzle-Peter's Avatar
 
Jun 2009

10100111102 Posts
Default

Quote:
Originally Posted by Batalov View Post
David is your co-author; I guess that is an authentication worth enough.
Does that give me a non-infinite Erdős number? certainly the closest I'll ever get.

However, here's a little pre-christmas present:

2^61792+21661 is now a certified prime.

http://www.sendspace.com/file/0tt6t5

Last fiddled with by Batalov on 2012-12-14 at 20:58 Reason: (added 2^)
Puzzle-Peter is offline   Reply With Quote
Old 2012-12-14, 18:06   #352
Cybertronic
 
Cybertronic's Avatar
 
Jan 2007
DEUTSCHLAND !

3·89 Posts
Default

Only german.

Hallo Peter, herzlichen Glückwunsch ! Das nenne ich mal eine Hausnummer ... dagegen erscheint mein Rekord von 2010 ein Witz zu sein.


Gruß

Norman
Cybertronic is offline   Reply With Quote
Reply

Thread Tools


Similar Threads
Thread Thread Starter Forum Replies Last Post
generalized minimal (probable) primes sweety439 sweety439 35 2019-12-07 08:42
probable largest prime. sudaprime Miscellaneous Math 11 2018-02-05 08:10
Hi, how can I test my probable prime number? mohdosa Information & Answers 22 2014-10-10 11:34
2^9092392+40291 is a probable prime! engracio Five or Bust - The Dual Sierpinski Problem 86 2011-03-31 01:11
Record probable prime found! philmoore Five or Bust - The Dual Sierpinski Problem 18 2009-01-28 19:47

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

Fri Sep 25 07:55:14 UTC 2020 up 15 days, 5:06, 0 users, load averages: 1.55, 1.62, 1.46

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.