OpenAI's "Diamond Dump": 722 Papers Claim 63% of 372 Open Math Problems Solved
gleech · x · 2026-10-10
Gavin Leech, Lucca Fraser and Peli Grietzer review OpenAI's mass release of 722 preprints attacking 372 open math problems. OpenAI claims 63% fully solved, including 90 of the "top 500" open problems in mathematics and at least three of Field Medal-level interest. Only 42% come with Lean certificates, 3 proofs were withdrawn, and 14 needed repairs. Average cost: 3 hours of ChatGPT Pro compute per result. Critics note only 10 proofs include prompts, and the 372/4000 solve rate trails the earlier 45% claim.
Related event: OpenAI's "Diamond Dump" of 722 Math Preprints Draws Scrutiny(2 posts)→
More from AGI Musings
- Ruslan Salakhutdinov: AI doomsday rhetoric is getting out of hand — rsalakhu · 2026-10-11
- AI's overlooked downside: 10x productivity makes cross-field exploration 10x costlier — gautamcgoel · 2026-10-11
- If robots build compute locally, what leverage does anyone still have? — PierceLilholt · 2026-10-11
- Blogger claims real superintelligence will be built and deployed before we realize it — mallow610 · 2026-10-11
- The flip phone text message feeling social media destroyed, according to one nostalgic post — generativist · 2026-10-11
- CRISPR, optogenetics, GFP: biggest breakthroughs all trace to curiosity-driven basic research — chaitjo · 2026-10-11