20210728, 08:53  #34  
"Seth"
Apr 2019
409 Posts 
Quote:


20210801, 17:45  #35 
May 2018
3^{5} Posts 
Have the new gaps of 1552 and 1572 been confirmed as maximal prime gaps yet? How close are you to confirming them?

20210819, 18:37  #36 
Mar 2021
59 Posts 
I don't think anyone is working on confirming them. My code can't be used for confirmation. I don't have much CPU resources to contribute and I'm not sure what code others have used. I might be able to help speed up some of the existing CPU code.

20210819, 19:00  #37 
Mar 2021
59 Posts 
I've checked up to 2^{64} + 61*10^{16}. In addition to the 1552 and 1572 I found 7 gaps in the 1400s but the largest is still 1430 so no new first occurrences.

20210823, 15:50  #38 
May 2018
3^{5} Posts 
I thought you started at 2^{64} and worked continuously from there. How are you not sure that these are maximal prime gaps? Did you skip any primes?

20210823, 19:14  #39  
Jun 2015
Vallejo, CA/.
3×349 Posts 
Quote:
This is the status of the exhaustive search. (Unless someone else has covered the numbers after 2^{64}+1.03 x10^{16}) To check in a reliable way that no gap greater or equal to 1432 exists below 2^{64} +2.33x10^{16}where the gap of 1552 is found is a gruesome task as we no longer have the support of the code that allowed us to reach 2^{64}2^{32}. As things stand now the smallest gap that we don’t know with certainty to be a “first occurrence” is 1432. 

20210824, 14:01  #40 
Mar 2021
59 Posts 
I checked continuously from 2^{64} but I'm only doing 1 Fermat test so it is possible that a number is incorrectly called a prime. I think it is unlikely that this has lead to missing a large gap (very unlikely if the math in this post is correct https://mersenneforum.org/showpost.p...8&postcount=20) but it is still possible. The easiest way for me to fix this issue would be to use 12 SPRP tests which is sufficient to prove primality. Half the remaining numbers are prime after sieving so the code would take about 67 times longer to run. It's possible it would be faster to check with sieving only. It would require sieving up to primes a little above 2^{32}.
This is also new GPU code so it is possible that there is some other error. I did find all the gaps above 1000 that ATH found so there is some confidence that it is working correctly. 
20210824, 15:56  #41  
Einyen
Dec 2003
Denmark
3^{2}·19^{2} Posts 
Quote:
Why does 12 SPRP tests prove primality? 

20210824, 17:06  #42 
Jun 2015
Vallejo, CA/.
3×349 Posts 
I was wondering exactly the same thing. On the other hand, a number of the order of 10^19 can be proven prime easily by trial division or sieving.
Keeking track of the Numbers that STILL have not yet been established as a First Occurrence Gap. (The last one 1552 is most probably a first occurrence and thus a Maximal Gap)
I am assuming none of these numbers, with the exception of 1552, have been improved since November 2019 Last fiddled with by rudy235 on 20210824 at 17:08 
20210824, 18:32  #43 
Mar 2021
59 Posts 
Bases of 2, 3, 5, 7, 11, 13, 17, 19, 23, 29, 31, and 37 have been proven a deterministic test up to 3.18 * 10^{23}.
https://en.wikipedia.org/wiki/Miller...primality_test For 2^{65} this can likely be reduced to 7 or better but I don't think it has been proven beyond 2^{64}. https://millerrabin.appspot.com/ 
20210824, 20:45  #44 
Mar 2021
59 Posts 
There is a list of base 2 pseudoprimes up to 2^{64}.
http://www.janfeitsma.nl/math/psp2/index When you guys were doing the search up to 2^{64} it would have been faster to do the Lucas test only if the number was a known 2PSP. Unfortunately the list only goes up to 2^{64}. Is there a fast way to generate the list of 2PSP. When checking for gaps we need to do one Lucas test for every 1400 numbers. To check from 2^{64} to 2^{64} + 2.33 * 10^{16} (Gap=1552) would require 1.66*10^{13} Lucas tests. Can the list of 2PSP be computed faster than this? We wouldn't even need to rerun what has already been done. We could just check for large gaps around the 2PSPs. 
Thread Tools  
Similar Threads  
Thread  Thread Starter  Forum  Replies  Last Post 
Guess the next maximal prime gap.  Bobby Jacobs  Prime Gap Searches  6  20210704 11:51 
Gaps between maximal prime gaps  Bobby Jacobs  Prime Gap Searches  52  20200822 15:20 
Superprime gaps  Bobby Jacobs  Prime Gap Searches  5  20190317 20:01 
Top 50 gaps  robert44444uk  Prime Gap Searches  1  20180710 20:50 
Gaps and more gaps on <300 site  gd_barnes  Riesel Prime Search  11  20070627 04:12 