OpenAI releases 372 math proof claims, including 23 Erdős problems spanning 1268 pages
burny_tech · x · 2026-10-09
OpenAI published a GitHub repo on Oct 6 with 372 significant mathematical proof claims, most claiming to solve or make major progress on important pure-math problems.
Thomas Bloom, maintainer of the Erdős Problems site, catalogued the claims: they cover 23 Erdős problems, all of which he finds interesting, with associated papers totaling 1268 pages and poorly written. He cautions none of the proofs have been seriously verified, some face plagiarism accusations from prior AI-assisted papers, and credit attribution for AI proofs remains an open question.
More from Models
- Unsloth adds fine-tuning to turn Qwen, Llama and Gemma into small local decision models — blaizedsouza · 2026-10-09
- Meta details Muse Glimmer: open-weight model for local agents, from pre-training to quantization — LotfiSanae · 2026-10-09
- NeurIPS paper: LLMs keep thinking even when explicitly told not to — james_y_zou · 2026-10-09
- New Sol chat model is overly guarded and avoids extrapolation, researcher reports — TheZachMueller · 2026-10-09
- Step 5 Preview flags $256.7M one-time tax gain in Duolingo's $414.1M net income unprompted — Div_pradeep · 2026-10-09
- Indie dev trains Rei-v1, a tiny open reranker model for research agents — gnukeith · 2026-10-09