mersenneforum.org  

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

Reply
 
Thread Tools
Old 2016-11-24, 02:24   #12
Batalov
 
Batalov's Avatar
 
"Serge"
Mar 2008
Phi(3,3^1118781+1)/3

13·17·41 Posts
Default

The next one should be an ASCII-art Mona Lisa with a bit of noise in the bottom right corner... Or a valid midi file with "Der Hölle Rache kocht in meinem Herzen", flattened as a bytestream.
Batalov is offline   Reply With Quote
Old 2016-11-24, 02:31   #13
Dubslow
Basketry That Evening!
 
Dubslow's Avatar
 
"Bunslow the Bold"
Jun 2011
40<A<43 -89<O<-88

3×29×83 Posts
Default

If we're going down this road, one could make something of a statement by proving the world's largest illegal prime (and it needn't even be a executable or source code, as Paul has clearly demonstrated ).
Dubslow is offline   Reply With Quote
Old 2016-11-28, 01:34   #14
rudy235
 
rudy235's Avatar
 
Jun 2015
Vallejo, CA/.

22×239 Posts
Thumbs up WHAT ARE THE REQUIREMENTS FOR A ECPP OF A GIVEN SIZE?

First of all congratulations to Paul for this accomplishment.

I wonder if the difficulty of proving primality via ECCP depends mainly on the size of the prime or is it that for the same given size and using _only_ ECPP there are primes that are more difficult to prove.

Another open question is how far away in time are we from proving the primality of a 45,000 digit number that has no special for and thus needs a general method?
rudy235 is offline   Reply With Quote
Old 2016-11-28, 07:24   #15
paulunderwood
 
paulunderwood's Avatar
 
Sep 2002
Database er0rr

328510 Posts
Default

Quote:
Originally Posted by rudy235 View Post
First of all congratulations to Paul for this accomplishment.
Thanks very much

Quote:
I wonder if the difficulty of proving primality via ECCP depends mainly on the size of the prime or is it that for the same given size and using _only_ ECPP there are primes that are more difficult to prove.
There is no difficult prime to prove using ECPP. It depends on the size -- it is an O(log(N)^(4+eps)) algorithm. meaning if you double the length it takes 16 times as long (using the same hardware).

Quote:
Another open question is how far away in time are we from proving the primality of a 45,000 digit number that has no special for and thus needs a general method?
At the moment Primo is limited to ~35k digits and AFAIK 48 cores. Using the same hardware and techniques as I used, in theory, to get a 45k digit proof would take 14*(45/34)^4 months i.e. 43 months.

Last fiddled with by paulunderwood on 2016-11-28 at 07:43
paulunderwood is online now   Reply With Quote
Old 2016-11-28, 21:19   #16
rudy235
 
rudy235's Avatar
 
Jun 2015
Vallejo, CA/.

22·239 Posts
Default

Quote:
Originally Posted by paulunderwood View Post


At the moment Primo is limited to ~35k digits and AFAIK 48 cores. Using the same hardware and techniques as I used, in theory, to get a 45k digit proof would take 14*(45/34)^4 months i.e. 43 months.

Thanks. Lets hope that in 43 months (Moore's Law and everything) we can start trying. As an exmple in a month short of 2 years we have managed an increase of ≈ 15% in the number of digits so we could estimate that 6 years from now we can see something like that.
rudy235 is offline   Reply With Quote
Old 2017-11-19, 04:35   #17
mjm
 
May 2012

810 Posts
Default 34987 decimal digits!

Yesterday, Peter Kaiser sent me a Primo certificate proving that 2^116224 -15905 is prime.
It is a new Primo record, a new ECPP record and a new "ordinary prime" record.

Congratulations.
mjm is offline   Reply With Quote
Old 2017-11-19, 05:15   #18
a1call
 
a1call's Avatar
 
"Rashid Naimi"
Oct 2015
Out of my Body

2×11×83 Posts
Default

Contraptions on the new record.

What is the reason primo or its algo is not utilized through distributed computing?
Wouldn't that make new record, regular-primes essentially a daily occurrence?
a1call is offline   Reply With Quote
Old 2017-11-19, 07:44   #19
yoyo
 
yoyo's Avatar
 
Oct 2006
Berlin, Germany

10708 Posts
Default

The main reason is, that primo is a grphical user interface application. A command line version doesn't exists (at least it was the case some years back). In the past I asked the author if a command line version can be provided to include it into a distributed computing project, but he rejected.
yoyo is offline   Reply With Quote
Old 2017-11-20, 14:49   #20
paulunderwood
 
paulunderwood's Avatar
 
Sep 2002
Database er0rr

32·5·73 Posts
Default

Quote:
Originally Posted by mjm View Post
Yesterday, Peter Kaiser sent me a Primo certificate proving that 2^116224 -15905 is prime.
It is a new Primo record, a new ECPP record and a new "ordinary prime" record.

Congratulations.

Seconded.A great achievement for Peter, at the cutting edge of what can be done currently.
paulunderwood is online now   Reply With Quote
Old 2020-02-02, 09:47   #21
paulunderwood
 
paulunderwood's Avatar
 
Sep 2002
Database er0rr

32×5×73 Posts
Default 40,000 digits

I have just certified the partitions number p(1289844341) which has 40,000 digits.

It took 21.5 months on a 4x 12 core AMD 6174.



Thanks to Marcel for his impeccable software

Last fiddled with by paulunderwood on 2020-02-02 at 10:23
paulunderwood is online now   Reply With Quote
Old 2020-02-02, 20:32   #22
rudy235
 
rudy235's Avatar
 
Jun 2015
Vallejo, CA/.

22·239 Posts
Default

Quote:
Originally Posted by paulunderwood View Post
I have just certified the partitions number p(1289844341) which has 40,000 digits.

It took 21.5 months on a 4x 12 core AMD 6174.



Thanks to Marcel for his impeccable software
Congratulations! This is clearly a new record and very close to what is achievable with the present software, which I believe is ~ 2132928 ~ 1040015

Last fiddled with by rudy235 on 2020-02-02 at 20:40
rudy235 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 58 2018-02-06 21:52
Can I just leave this here? (ECPP) trhabib Miscellaneous Math 6 2011-08-19 16:34
Fast ECPP T.Rex Math 6 2007-06-25 16:42
Where ECPP is needed? nuggetprime Information & Answers 9 2007-04-06 16:22
new ECPP article R. Gerbicz GMP-ECM 2 2006-09-13 16:24

All times are UTC. The time now is 11:27.

Mon Jul 13 11:27:33 UTC 2020 up 110 days, 9 hrs, 0 users, load averages: 1.21, 1.56, 1.52

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.