GPT 5.6 Pro Helps Break Record for Prime Gaps, Result Formalized in Lean
thomasahle · x · 2026-09-01
Mathematician Thomas Bloom reported that GPT 5.6 Pro, prompted by user DottedCalculator, has improved the bound on prime gaps by combining new sieving ideas with the established [FGKMT18] framework. The new bound saves a factor of approximately log3(n) compared to the previous record set in 2018. Furthermore, this result has been formally verified in Lean by Alexeev, highlighting the growing role of AI in advancing mathematical research.
Related event: GPT 5.6 Improves Long-Standing Prime Gap Bound(3 posts)→
More from Research
- VideoGen-Agent: An 8B Multimodal Agent Turns Video Generation Into a Tool-Use Loop — jiqizhixin · 2026-10-16
- Comprehension Audits: New Paper Proposes a Gate for AI-Written Code at Frontier Labs — ronbodkin · 2026-10-16
- Nature paper uses language models to map single neurons behind human language — raphaelmilliere · 2026-10-16
- Reviewer shares workflow: feeding the finished review — never the paper — to AI for a second pass — StingMeleoron · 2026-10-16
- 3SUM record falls to O(n^1.921), Lean-verified — but will it yield usable algorithms? — iskander · 2026-10-16
- Ablation studies to help Kaggle Gemma 4 competition participants — ayushthakur0 · 2026-10-16