mersenneforum.org  

Go Back   mersenneforum.org > Math Stuff > Computer Science & Computational Number Theory

Reply
 
Thread Tools
Old 2020-02-13, 14:50   #34
Puzzle-Peter
 
Puzzle-Peter's Avatar
 
Jun 2009

22×52×7 Posts
Default

What a monster. Congrats!
Puzzle-Peter is offline   Reply With Quote
Old 2022-03-21, 12:15   #35
paulunderwood
 
paulunderwood's Avatar
 
Sep 2002
Database er0rr

29×151 Posts
Default R49081 is prime!

The late Harvey Dubner found the Rep-unit R49081 to be a probable prime in 1999 and made a report of it in his paper [1]. Today I finished the elliptic curve primailty proving (ECPP) certification and a full verification of it using the most excellent program Primo authored by Marcel Martin. The certification took 20 months on an AMD 3990x computer (64 cores); and verification took about 13 hours. It is the first proof of a Rep-unit prime since that of R1031 in 1985 (Williams and Dubner) [2] ran on a Dubner Cruncher [3]. The new proof exceeds my previous top ECPP record at 40,000 digits [4]. The certificate of R49081 will be available at Marcel's Ellipsa site [5].

There are now 6 Rep-unit primes and 5 known Rep-unit probable primes; The smallest unproven one is R86453 (Baxter, 2000) [2].

[1] https://www.ams.org/journals/mcom/20...01-01319-9.pdf

[2] https://primes.utm.edu/top20/page.php?id=57

[3] https://primes.utm.edu/bios/page.php?id=579

[4] https://primes.utm.edu/top20/page.php?id=27

[5] http://www.ellipsa.eu/public/primo/records.html
paulunderwood is offline   Reply With Quote
Old 2022-03-21, 13:09   #36
kar_bon
 
kar_bon's Avatar
 
Mar 2006
Germany

2·3·7·71 Posts
Default

The link to H.Dubners article at AMS in your PrimePages comment is cut off (as the link given in the previous post here with "20...01-01319-9.pdf").
kar_bon is offline   Reply With Quote
Old 2022-03-21, 13:14   #37
paulunderwood
 
paulunderwood's Avatar
 
Sep 2002
Database er0rr

10001000110112 Posts
Default

Quote:
Originally Posted by kar_bon View Post
The link to H.Dubners article at AMS in your PrimePages comment is cut off (as the link given in the previous post here with "20...01-01319-9.pdf").
Thanks for pointing that out. It is fixed now.
paulunderwood is offline   Reply With Quote
Old 2022-03-21, 13:56   #38
rudy235
 
rudy235's Avatar
 
Jun 2015
Vallejo, CA/.

24·71 Posts
Default

Congratulations! I been following this repunit since about 10 years and thought it would be eventually be proven by BLS, KP or CHG but the factorized part of N-1 never exceeded 17.79%.

So the only other possibility was PRIMO but with over 49000 digits it seemed impossible to surmount.

I want to believe Harvey Dubner would have been immensely happy to see that his R(49081) was finally proven prime. The next one R(86453) will probably have to wait until most of us here are gone.
rudy235 is offline   Reply With Quote
Old 2022-03-21, 15:24   #39
Dr Sardonicus
 
Dr Sardonicus's Avatar
 
Feb 2017
Nowhere

22×52×61 Posts
Default

Quote:
Originally Posted by paulunderwood View Post
The late Harvey Dubner found the Rep-unit R49081 to be a probable prime in 1999 and made a report of it in his paper [1]. Today I finished the elliptic curve primailty proving (ECPP) certification and a full verification of it using the most excellent program Primo authored by Marcel Martin. The certification took 20 months on an AMD 3990x computer (64 cores); and verification took about 13 hours.
<snip>
Hooray! What a beast! At long last... Christmas came and went. New Year's came and went. But it did finish right about on New Year's notwithstanding. (Feed "Nowruz" to your favorite search engine.)

That doesn't just break your previous PRIMO record - it shatters it!





I don't anticipate that record being broken any time soon, but a sanity check on that is in order: Are there any larger Primo or other ECPP jobs in the pipeline?
Dr Sardonicus is offline   Reply With Quote
Old 2022-03-21, 15:57   #40
paulunderwood
 
paulunderwood's Avatar
 
Sep 2002
Database er0rr

29·151 Posts
Default

Quote:
Originally Posted by Dr Sardonicus View Post

I don't anticipate that record being broken any time soon, but a sanity check on that is in order: Are there any larger Primo or other ECPP jobs in the pipeline?
None larger. I have 5 proofs in the pipeline, but none are getting any electricity until the fall.


Last fiddled with by paulunderwood on 2022-03-21 at 16:10
paulunderwood is offline   Reply With Quote
Old 2022-03-21, 18:37   #41
sweety439
 
sweety439's Avatar
 
"99(4^34019)99 palind"
Nov 2016
(P^81993)SZ base 36

2·52·73 Posts
Default

Can you upload its certificate to factordb?
sweety439 is offline   Reply With Quote
Old 2022-03-21, 18:51   #42
Cybertronic
 
Cybertronic's Avatar
 
Jan 2007
Germany

571 Posts
Default Yippee !!!

Hello Paul, Big big big congratulations for this great job !!!


Norman

Last fiddled with by Cybertronic on 2022-03-21 at 18:59
Cybertronic is online now   Reply With Quote
Old 2022-03-21, 19:55   #43
pinhodecarlos
 
pinhodecarlos's Avatar
 
"Carlos Pinho"
Oct 2011
Milton Keynes, UK

3×5×11×31 Posts
Default

Congrats Paul!
pinhodecarlos is offline   Reply With Quote
Old 2022-03-21, 19:57   #44
paulunderwood
 
paulunderwood's Avatar
 
Sep 2002
Database er0rr

29×151 Posts
Default

Quote:
Originally Posted by sweety439 View Post
Can you upload its certificate to factordb?
Uploaded all 114,314,839 bytes. "Processing". If it is single core it will take ~1 month.
paulunderwood is offline   Reply With Quote
Reply

Thread Tools


Similar Threads
Thread Thread Starter Forum Replies Last Post
ECPP-DJ danaj Computer Science & Computational Number Theory 59 2020-10-10 04:57
Comparison to ECPP? carpetpool PARI/GP 2 2020-03-11 01:07
ECPP on Windows? CRGreathouse Software 10 2015-09-14 12:32
Looking for ECPP software nuggetprime Software 14 2010-03-07 17:09
Where ECPP is needed? nuggetprime Information & Answers 9 2007-04-06 16:22

All times are UTC. The time now is 12:26.


Mon Dec 5 12:26:30 UTC 2022 up 109 days, 9:55, 0 users, load averages: 0.75, 1.01, 0.91

Powered by vBulletin® Version 3.8.11
Copyright ©2000 - 2022, 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.

≠ ± ∓ ÷ × · − √ ‰ ⊗ ⊕ ⊖ ⊘ ⊙ ≤ ≥ ≦ ≧ ≨ ≩ ≺ ≻ ≼ ≽ ⊏ ⊐ ⊑ ⊒ ² ³ °
∠ ∟ ° ≅ ~ ‖ ⟂ ⫛
≡ ≜ ≈ ∝ ∞ ≪ ≫ ⌊⌋ ⌈⌉ ∘ ∏ ∐ ∑ ∧ ∨ ∩ ∪ ⨀ ⊕ ⊗ 𝖕 𝖖 𝖗 ⊲ ⊳
∅ ∖ ∁ ↦ ↣ ∩ ∪ ⊆ ⊂ ⊄ ⊊ ⊇ ⊃ ⊅ ⊋ ⊖ ∈ ∉ ∋ ∌ ℕ ℤ ℚ ℝ ℂ ℵ ℶ ℷ ℸ 𝓟
¬ ∨ ∧ ⊕ → ← ⇒ ⇐ ⇔ ∀ ∃ ∄ ∴ ∵ ⊤ ⊥ ⊢ ⊨ ⫤ ⊣ … ⋯ ⋮ ⋰ ⋱
∫ ∬ ∭ ∮ ∯ ∰ ∇ ∆ δ ∂ ℱ ℒ ℓ
𝛢𝛼 𝛣𝛽 𝛤𝛾 𝛥𝛿 𝛦𝜀𝜖 𝛧𝜁 𝛨𝜂 𝛩𝜃𝜗 𝛪𝜄 𝛫𝜅 𝛬𝜆 𝛭𝜇 𝛮𝜈 𝛯𝜉 𝛰𝜊 𝛱𝜋 𝛲𝜌 𝛴𝜎𝜍 𝛵𝜏 𝛶𝜐 𝛷𝜙𝜑 𝛸𝜒 𝛹𝜓 𝛺𝜔