mersenneforum.org  

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

Reply
 
Thread Tools
Old 2016-06-26, 02:39   #1
Madpoo
Serpentine Vermin Jar
 
Madpoo's Avatar
 
Jul 2014

37×89 Posts
Default Fun with a false positive

The system to email people when a prime is reported is working.

Too bad it was a false positive this time around... George thinks it's because it was an old version that would so something like that if the save file had some issue or another (I probably just mangled his story). Prime95 25.11 I think it was.

M43232521

Anyway, the email system worked.
Madpoo is offline   Reply With Quote
Old 2016-06-26, 04:35   #2
Prime95
P90 years forever!
 
Prime95's Avatar
 
Aug 2002
Yeehaw, FL

164758 Posts
Default

Quote:
Originally Posted by Madpoo View Post
Anyway, the email system worked.
Well, the backup system worked. The primary system probably failed as I think it is supposed to send to a wide audience when a likely prime is submitted and to a limited audience when a prime with a highly suspect error code is submitted.
Prime95 is offline   Reply With Quote
Old 2016-06-26, 06:01   #3
Uncwilly
6809 > 6502
 
Uncwilly's Avatar
 
"""""""""""""""""""
Aug 2003
101×103 Posts

23·5·239 Posts
Default

Are all of those Anon's that started checks the same as the one that reported the bad LL?
Uncwilly is online now   Reply With Quote
Old 2016-06-26, 07:13   #4
NBtarheel_33
 
NBtarheel_33's Avatar
 
"Nathan"
Jul 2008
Maryland, USA

5·223 Posts
Default

What an incredible cluster of primes that would have been: M42643801, M43112609, and M43232521. Shame it was a false positive!
NBtarheel_33 is offline   Reply With Quote
Old 2016-06-26, 08:39   #5
GP2
 
GP2's Avatar
 
Sep 2003

50358 Posts
Default Wieferich primes

If you start tinkering with the alert system, one useful thing to add would be a check and alert for Mersenne factors that are Wieferich primes (or maybe this check is already done?).

When a factor f is found, it can be verified by testing that 2p (mod f) = 1. Presumably the server does this each time a factor is reported, to filter any bogus results.

It is trivial to also check 2p (mod f2). If this is ever also equal to 1, then f would be only the third known Wieferich prime and we would also have the first known non-square-free Mersenne number with prime exponent p.

Since each factor found nowadays is at least 61 bits, they are all well beyond the exhaustive-search limit for Wieferich primes which I believe has reached somewhere on the order of 1017. So each new Mersenne factor found is like a lottery ticket (with about the same improbable odds) for a chance to make a momentous discovery. In fact, sometimes I wonder if this is the motivation behind user TJAOI's quest to find second-and-higher factors of already-factored exponents.

The odds are very low, maybe astronomically low, but modular exponentiation is so rapid that the entire database of tens of millions of factors can be checked in minutes (and I've already done so). So this would be a useful thing to add, both at mersenne.org and at mersenne.ca for exponents higher than 1 billion, assuming that it's straightforward to add a call to the alert system code.
GP2 is offline   Reply With Quote
Old 2016-06-26, 11:09   #6
S485122
 
S485122's Avatar
 
Sep 2006
Brussels, Belgium

68616 Posts
Default

Quote:
Originally Posted by Madpoo View Post
...
M43232521
...
Are there plans to restore the hidden (because of primeness) history for that exponent ?

Jacob
S485122 is offline   Reply With Quote
Old 2016-06-26, 11:37   #7
retina
Undefined
 
retina's Avatar
 
"The unspeakable one"
Jun 2006
My evil lair

22×5×307 Posts
Default

Quote:
Originally Posted by S485122 View Post
Are there plans to restore the hidden (because of primeness) history for that exponent ?
All the LL history seems to be here:

http://www.mersenne.org/report_ll/?e...dispdate=1&B1=

The error code was 0019174C
retina is online now   Reply With Quote
Old 2016-06-26, 13:31   #8
S485122
 
S485122's Avatar
 
Sep 2006
Brussels, Belgium

2·5·167 Posts
Default

Quote:
Originally Posted by retina View Post
All the LL history seems to be here:

http://www.mersenne.org/report_ll/?e...dispdate=1&B1=

The error code was 0019174C
Indeed, it is there but not on the page the OP linked to. It must have to do with the code to hide a newly found Mersenne Prime.

Jacob
S485122 is offline   Reply With Quote
Old 2016-06-26, 14:30   #9
GP2
 
GP2's Avatar
 
Sep 2003

3×863 Posts
Default

Quote:
Originally Posted by S485122 View Post
Indeed, it is there but not on the page the OP linked to. It must have to do with the code to hide a newly found Mersenne Prime.

Jacob
No, that page is good too, at least it is now. Try refreshing your cache.
GP2 is offline   Reply With Quote
Old 2016-06-26, 20:43   #10
S485122
 
S485122's Avatar
 
Sep 2006
Brussels, Belgium

2·5·167 Posts
Default

Quote:
Originally Posted by GP2 View Post
No, that page is good too, at least it is now. Try refreshing your cache.
It is not important but the History section of that page still does not display the false result. In the that section there should be an entry for 2016-06-23 and there is not.
S485122 is offline   Reply With Quote
Old 2016-06-27, 21:32   #11
Madpoo
Serpentine Vermin Jar
 
Madpoo's Avatar
 
Jul 2014

37·89 Posts
Default

Quote:
Originally Posted by S485122 View Post
Are there plans to restore the hidden (because of primeness) history for that exponent ?
Well, I guess... try this: http://www.mersenne.org/report_expon...3232521&full=1

The trick there was only showing a history if "is prime!" if that result ended up being bad or has been verified and publicly announced.

As retina pointed out, the LL specific report shows more info such as the actual error code which is probably more interesting than a false "Mxxx is prime!" entry.
Madpoo is offline   Reply With Quote
Reply

Thread Tools


Similar Threads
Thread Thread Starter Forum Replies Last Post
another false positive? ixfd64 Data 3 2016-03-14 22:11
Question about false positive process Madpoo Data 3 2014-11-07 23:19
positive LL test? sixblueboxes PrimeNet 90 2014-07-24 05:51
R.H. May be False? wtf flouran Math 34 2009-12-08 00:09
False positive? Pi Rho Lounge 4 2003-04-23 14:11

All times are UTC. The time now is 14:35.

Sun May 9 14:35:04 UTC 2021 up 31 days, 9:15, 0 users, load averages: 1.27, 1.42, 1.77

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