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
- Tencent's WeChat Vision releases WeVisOne-VL, unifying object- and pixel-level perception — jacek2023 · 2026-10-23
- Batching benchmark: 50x throughput for ~24% latency cost on PyTorch — cneuralnetwork · 2026-10-23
- De novo designed ligases validate in lab: 27 of 30 computer-designed enzymes work — AllThingsApx · 2026-10-23
- Commenters dissect a "best decision model" leaderboard: same AUC, swing driven by calibration priors — antoine_chaffin · 2026-10-23
- JEPA may keep unpredictable features: new paper gives set-level characterization — hisspikeness · 2026-10-23
- Next-Concept Modeling paper claims 31x faster text generation than diffusion LLM baselines — PanelReader · 2026-10-23