OpenAI's Frontier Models Prove 23 Erdős Problems in 1,268 Pages
OpenAI released a batch of new mathematical results produced by its internal frontier models, including an 84-page proof of the Erdős–Pomerance conjecture. Mathematician Thomas Bloom counted proofs of 23 Erdős problems across 1,268 pages of papers, all judged interesting and meaningful.
2026-10-09 ~ 2026-10-09 · 2 related posts
- Episode 1: Debate flares over how OpenAI should release AI-generated math proofs(2026-10-06, 5 posts)
- Episode 2: Rumor: Unreleased OpenAI Model Proves Quasi-Riemann Hypothesis(2026-10-07, 3 posts)
- Episode 3: OpenAI Paper Claims Quasi-Riemann Hypothesis Proof, Hailed as Fields Medal-Level(2026-10-07, 5 posts)
- Episode 4: Overlooked compute details of OpenAI's math research spark ASI debate(2026-10-07, 11 posts)
- Episode 5: Rumor: OpenAI Has Two More Batches of Math Results Unreleased(2026-10-07, 3 posts)
- Episode 6: Math Community Declares Boycott of OpenAI After Release of 700+ Manuscripts; Terence Tao Amplifies(2026-10-07, 43 posts)
- Episode 7: Cambridge paper challenges Lean-verified OpenAI Navier-Stokes proof(2026-10-08, 19 posts)
- Episode 8: OpenAI Retracts 3 Papers From Its Math Repo Two Days After Release; 42% of Results Now Lean-Formalized(2026-10-08, 8 posts)
- Episode 9: Researchers Improve OpenAI's Math Proof, Verified in Lean(2026-10-08, 2 posts)
- Episode 10: OpenAI's Frontier Models Prove 23 Erdős Problems in 1,268 Pages(2026-10-09, 2 posts)
- Episode 11: Mathematicians' Boycott of OpenAI Results Draws Backlash(2026-10-09, 3 posts)
- Episode 12: Over 100 Mathematicians Respond to OpenAI's Math Breakthrough(2026-10-09, 2 posts)
- OpenAI's proofs cover 23 Erdős problems, spanning 1268 pages of papers — ctjlewis · 2026-10-09
- OpenAI's frontier model produces new math results, including an 84-page proof of the Erdős–Pomerance conjecture — burny_tech · 2026-10-09