OpenAI's proofs cover 23 Erdős problems, spanning 1268 pages of papers
ctjlewis · x · 2026-10-09
Mathematician Thomas Bloom notes that OpenAI's published proofs include solutions to 23 Erdős problems — all of them, in his view, interesting and significant. The associated papers run to 1268 pages total and are badly written, so reading and verifying these proofs will take the community considerable time. Bloom has published a blog post on the material.
Related event: OpenAI's Frontier Models Produce 722 Math Manuscripts(4 posts)→
More from Research
- OpenAI's math results released as open source RL environments — SergioPaniego · 2026-10-09
- Mathematicians slam OpenAI's 700+ math papers as 'impossible to read without AI help' — burny_tech · 2026-10-09
- OpenAI releases 372 math proof claims, including 23 Erdős problems spanning 1268 pages — burny_tech · 2026-10-09
- Claim-Locked Reporting: EMNLP paper fixes LLM hallucinated claims over correct numbers — jiqizhixin · 2026-10-09
- NVIDIA NeMo-DCR cuts 1T-model RL weight sync from 87.5 min to 150 sec — IanAndrewsDC · 2026-10-09
- Dex-One2Many: one human video trains a dexterous hand that transfers zero-shot to real robots — furongh · 2026-10-09