Prime Gap Record Broken Three Times in Days: AI Systems Push Bound Down From 246 to 186
Singularitarian · x · 2026-09-05
The bounded prime gaps story: conjectured in 1849, proven by Yitang Zhang in 2013 with gap ≤ 70,000,000, then pushed by Polymath8 and Maynard/Tao to ≤ 246 by 2014 — where it sat for 12 years.
In 2026 the record fell rapidly: Julia Stadlmann showed gap ≤ 240, then on September 3 AI math systems AxiomMath and Astra pushed it to ≤ 212 and ≤ 186 within hours. Formalization followed: FrenzyMath formalized BGP600 unconditionally, AxiomMath formalized BGP246 unconditionally, and Astra formalized BGP186 conditional on Kloosterman estimates and a large numerical certificate.
More from Research
- Google paper mathematically shows test-time compute backfires when training data lacks the skill — solyarisoftware · 2026-09-06
- YC-backed MovingAtomsLab banned from DeepMind's Physics-IQ Verified benchmark for 3 months — HildeKuehne · 2026-09-06
- Is a schema-aware memory graph 'overfitting'? Dev asks for the cleanest leakage test — chaachans · 2026-09-06
- Burkov: 2026 is putting recurrence back into the Transformer it removed in 2017 — burkov · 2026-09-06
- MIT study: 83% of ChatGPT essay writers couldn't quote a single line they just wrote — victor_explore · 2026-09-06
- Carbon nanocone + fullerene check valve shows >10,000x rectification in MD sims — jwt0625 · 2026-09-06