mersenneforum.org  

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

Reply
 
Thread Tools
Old 2018-12-10, 18:41   #45
Prime95
P90 years forever!
 
Prime95's Avatar
 
Aug 2002
Yeehaw, FL

71·101 Posts
Default

Quote:
Originally Posted by kriesel View Post
We ought to clean that junk out of the database. The server will reject duplicate prime results for known Mersenne primes. However, it seems the server is not rejecting composite results for known Mersenne primes.
Prime95 is online now   Reply With Quote
Old 2018-12-10, 18:52   #46
kriesel
 
kriesel's Avatar
 
"TF79LL86GIMPS96gpu17"
Mar 2017
US midwest

4,457 Posts
Default

Quote:
Originally Posted by Prime95 View Post
We ought to clean that junk out of the database. The server will reject duplicate prime results for known Mersenne primes. However, it seems the server is not rejecting composite results for known Mersenne primes.
By all means clean out those erroneous composite results on known Mersenne primes. The TF and P-1 clutter on already-confirmed primes is a separate decision or two, which I feel should be removed, and prevented from reoccurring.

I'd like to see the false P-1 assignment expiration entries on unknown-status exponents gone too. (see https://www.mersenneforum.org/showthread.php?t=23817 for some known cases and a theory about a cause.)

Last fiddled with by kriesel on 2018-12-10 at 19:02
kriesel is offline   Reply With Quote
Old 2018-12-10, 18:53   #47
Madpoo
Serpentine Vermin Jar
 
Madpoo's Avatar
 
Jul 2014

52·131 Posts
Default

Quote:
Originally Posted by Uncwilly View Post
I've noticed some interesting names with some interesting exponent assignments that will be "home for the holidays" as it were.

MD5 hash guess of one that looks tasty (includes exponent assignee MM/DD expected completion date)
227a10ba5bbe1b4b033c2983ee417ee9

It does fit the 2 requirements posted by George and Alex. There also appears to be some funny business in the history on the assignment page.
I'm trying to check your result but I can't quite figure out what your string looks like before hashing...

Do you mean it looks like "12345678Madpoo1210" or do you have spaces and the slash between MM/DD in there, or... ?

EDIT: wait, I tried adding spaces and the slash - I see the exponent you mean, and my hint that it's not a previous discoverer would rule that one out.

Last fiddled with by Madpoo on 2018-12-10 at 19:03
Madpoo is offline   Reply With Quote
Old 2018-12-10, 19:34   #48
kriesel
 
kriesel's Avatar
 
"TF79LL86GIMPS96gpu17"
Mar 2017
US midwest

445710 Posts
Default

Quote:
Originally Posted by Madpoo View Post
Smarter folks than I can weigh in, like George did in mentioning that PRP is the future...

Here's my understanding: PRP is probabilistic and LL is deterministic. So although a PRP can say "M###" is probably prime, an LL test can say "M###" is prime.

PRP tests have the benefit of the Gerbicz error checking code that may make double-checking the tests unnecessary.

As to just how probable the PRP tests are, I understand that when PRP says it's probably prime, that probability is VERY high. And when I say the PRP error checking makes double-checks obsolete, I think that's generally true although I foresee cases where spot-checks make sense, but overall that's where I think it's headed. If I'm wrong in my assumptions, someone will correct me I'm sure.

When it comes to finding a new Mersenne Prime, I guess the question about whether a probable finding is good enough to be accepted, or would the LL test be required before it's confirmed. Maybe that's similar to how we already verify a prime using different software - it's a way of ensuring there aren't any code issues or other obscure things.
Very "on the money". And if there's a PRP discovery, I think it likely we confirm the PRP residue with a PRP run on different software & hardware, but the real mathematically acceptable proof will still be LL runs on different software and different hardware. In this case, does Gerbicz get included in the discoverers list, assuming it's prime95 or gpuowl that does the first PRP test, both of which implement the GEC?
kriesel is offline   Reply With Quote
Old 2018-12-10, 20:04   #49
ewmayer
2ω=0
 
ewmayer's Avatar
 
Sep 2002
Rep├║blica de California

2CFE16 Posts
Default

Quote:
Originally Posted by Madpoo View Post
When it comes to finding a new Mersenne Prime, I guess the question about whether a probable finding is good enough to be accepted, or would the LL test be required before it's confirmed. Maybe that's similar to how we already verify a prime using different software - it's a way of ensuring there aren't any code issues or other obscure things.
A PRP test will never suffice to claim a new prime discovery - that will always require a deterministic algorithm be run and independently verified.

Quote:
Originally Posted by kriesel View Post
Very "on the money". And if there's a PRP discovery, I think it likely we confirm the PRP residue with a PRP run on different software & hardware, but the real mathematically acceptable proof will still be LL runs on different software and different hardware. In this case, does Gerbicz get included in the discoverers list, assuming it's prime95 or gpuowl that does the first PRP test, both of which implement the GEC?
Not to slight Robert G. in any way, but while the GEC is an important reliability improver for the programs using it, it is not a fundamental prime-finding algorithm, nor an actual software implementation thereof. It's an error-catching scheme, which someone actually needs to code it into an actual LL/PRP-test program. Put it this way: GIMPS doesn't give Crandall & Fagin credit in new-discovery name-lists - if anyone more should be added to such lists it should be those two, IMO. All of us who have written this type of code know there is a long list of folks upon whose ideas our work relies and any number of crucial software tools necessary for our work, but alas, you can't thank them all via discoverer credit.
ewmayer is offline   Reply With Quote
Old 2018-12-10, 20:20   #50
kriesel
 
kriesel's Avatar
 
"TF79LL86GIMPS96gpu17"
Mar 2017
US midwest

4,457 Posts
Wink

Quote:
Originally Posted by ewmayer View Post
Congrats-in-advance to George and GIMPS!

This would of course have to happen just after George embarks on a 10-day preholiday ocean cruise ... George leaving town remains our best predictor of a new M-prime discovery. :)
Maybe we should encourage George to travel more often.
kriesel is offline   Reply With Quote
Old 2018-12-10, 20:34   #51
AG5BPilot
 
AG5BPilot's Avatar
 
Dec 2011
New York, U.S.A.

1418 Posts
Default

Congratulations to the discover and everyone involved!
AG5BPilot is offline   Reply With Quote
Old 2018-12-10, 20:35   #52
kriesel
 
kriesel's Avatar
 
"TF79LL86GIMPS96gpu17"
Mar 2017
US midwest

4,457 Posts
Default

Quote:
Originally Posted by ewmayer View Post
A PRP test will never suffice to claim a new prime discovery - that will always require a deterministic algorithm be run and independently verified.

Not to slight Robert G. in any way, but while the GEC is an important reliability improver for the programs using it, it is not a fundamental prime-finding algorithm, nor an actual software implementation thereof. It's an error-catching scheme, which someone actually needs to code into an actual LL/PRP-test program. Put it this way: GIMPS doesn't give Crandall & Fagin credit in new-discovery name-lists - if anyone more should be added to such lists it should be those two, IMO. All of us who have written this type of code know there is a long list of folks upon whose ideas our work relies and any number of crucial software tools necessary for our work, but alas, you can't thank them all via discoverer credit.
Point taken. The credits also don't explicitly list Lucas or Lehmer, or authors of the various factoring codes or algorithms that helped weed out so many other exponents early. I guess they could be considered lumped into the et al along with the thousands who ran composite primality tests and assorted factoring runs. Maybe candidates for a separate "Mersenne hunt hall of fame" listing though.
kriesel is offline   Reply With Quote
Old 2018-12-10, 21:05   #53
preda
 
preda's Avatar
 
"Mihai Preda"
Apr 2015

3·11·37 Posts
Default

Congrats! one MP every Christmas, they do look more frequent than expected, that's excellent news.

Last fiddled with by preda on 2018-12-10 at 21:05
preda is offline   Reply With Quote
Old 2018-12-10, 21:21   #54
chalsall
If I May
 
chalsall's Avatar
 
"Chris Halsall"
Sep 2002
Barbados

2×4,657 Posts
Default

Quote:
Originally Posted by preda View Post
...they do look more frequent than expected, that's excellent news.
Or, perhaps put another way, that's interesting....
chalsall is offline   Reply With Quote
Old 2018-12-10, 21:30   #55
kriesel
 
kriesel's Avatar
 
"TF79LL86GIMPS96gpu17"
Mar 2017
US midwest

4,457 Posts
Default

Quote:
Originally Posted by chalsall View Post
Or, perhaps put another way, that's interesting....
Or, not Eureka!, but Huh! That's funny... the more usual sound of impending discovery. Or it could be ominous, because if the current conjectures about frequency are close to accurate, we are now even more expectant of a relative drought, and in a much higher more computation-intensive range of exponents. I've been expecting for years, for the interval between discoveries to stretch out to 3 to 4 years. (So far I'm enjoying being wrong about that.) See https://www.mersenne.org/primes/
Then again, we're only up to about 2010 on the double checking front.
kriesel is offline   Reply With Quote
Reply

Thread Tools


Similar Threads
Thread Thread Starter Forum Replies Last Post
Lucky number gaps robert44444uk Prime Gap Searches 23 2019-08-23 20:45
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 02:00.

Thu Oct 1 02:00:42 UTC 2020 up 20 days, 23:11, 1 user, load averages: 1.43, 1.52, 1.49

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.