GPT 5.6 Improves Long-Standing Prime Gap Bound
Mathematician Thomas Bloom reports that GPT 5.6 Pro, prompted by user DottedCalculator, combined new sieve ideas with existing theory to improve a long-standing prime gap conjecture; related claims say GPT-5.6 Sol improved the Ford-Green-Konyagin-Maynard-Tao 2014 bound, with results verified in Lean but no paper published yet.
2026-08-30 ~ 2026-09-01 · 3 related posts
- GPT 5.6 Breakthrough on Large Prime Gaps Verified in Lean — cloneofsimo · 2026-08-30
- GPT-5.6 Sol reportedly improves long-standing prime gap bound — Dr_Singularity · 2026-08-30
- GPT 5.6 Pro Helps Break Record for Prime Gaps, Result Formalized in Lean — thomasahle · 2026-09-01