I wrote a program to perform much deeper trial division on the interval (
https://github.com/sethtroisi/prime-gap-verify) and integrated it into the records server so it should verify new records almost twice as fast!
I also searched for the smallest improvements I could find
Code:
$ git log --pretty=oneline --grep='Improved' | cut -f1 -d' ' | cut -c1-8 | xargs -I{} sh -c 'echo "$(git show {} | grep "^[+-]INSERT" | cut -d, -f 8 | paste -s -d" \n" | awk "{print \$2 - \$1}" | sort | head -n 1)" - {}'
Code:
-INSERT INTO gaps VALUES(8738,0,'C','?','C','Jacobsen',2016,26.8880,142,'6401698391*331#/30 - 4196');
+INSERT INTO gaps VALUES(8738,0,'C','?','P','MJansen',2020,26.8885,142,'54504085*347#/30030-6336');
# 136753...240003<142 vs 136018...127199<142>
-INSERT INTO gaps VALUES(94992,0,'C','?','P','Jacobsen',2015,19.2713,2141,'239749*5003#/30 - 67516');
+INSERT INTO gaps VALUES(94992,0,'C','?','P','S.Troisi',2020,19.2732,2141,'1028687*5003#/7#-31826');
# Divisor of 210 vs 30
-INSERT INTO gaps VALUES(5386,0,'C','?','C','Gapcoin',2014,27.7495,85,'1966630484318698861668498612811408901881803404485166080977579161864330281129190669803');
+INSERT INTO gaps VALUES(5386,0,'C','?','P','Gapcoin',2020,27.7498,85,'1963248243263300434282228442782422732294415751243892273508732840983627272810898907777');