OpenAI's Math Documents Criticized as ~1% of Proves Flawed
Mathematicians found substantive errors—not just sloppy formatting—in roughly 1% of proofs across OpenAI's 700-plus math manuscripts, with some calling for retractions. Researchers debate whether the error rate marks success or disaster.
2026-10-09 ~ 2026-10-09 · 3 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: Cambridge paper challenges Lean-verified OpenAI Navier-Stokes proof(2026-10-08, 19 posts)
- Episode 7: AI Assistant Astra Finds Flaws in OpenAI's Math Paper(2026-10-08, 2 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: Mathematicians' Boycott of OpenAI Results Draws Backlash(2026-10-09, 3 posts)
- Episode 11: Over 100 Mathematicians Respond to OpenAI's Math Breakthrough(2026-10-09, 2 posts)
- Episode 12: OpenAI's Math Documents Criticized as ~1% of Proves Flawed(2026-10-09, 3 posts)
- OpenAI's math agents produced proofs with ~1% error/retraction rate, researchers mock — suchenzang · 2026-10-09
- Mathematicians find issues beyond sloppy presentation in OpenAI's math dump — burny_tech · 2026-10-09
- ~1% error rate in AI math proofs: researchers debate whether the fallout is tiny or much larger — srchvrs · 2026-10-09