OpenAI floods GitHub with 722 AI-generated math papers, and mathematicians say they can't keep up
机器之心 · wechat · 2026-10-10
OpenAI published 722 AI-generated math manuscripts on GitHub spanning number theory, algebraic geometry, analysis, and combinatorics, some with Lean formal proofs. Interviewing 30+ mathematicians, The Verge found broad agreement that AI now produces new math faster than the community can verify or absorb it.
- Verification is the bottleneck: only 42% (about 300) of core results have Lean formal proofs; a researcher's OSVerify system already found two major issues in one paper. Several papers are poorly written, under-cited, and may duplicate existing work.
- Real substance: Stanford's Jared Duker Lichtman estimates dozens of significant results, including progress on the Riemann Hypothesis, a special case of the Hodge Conjecture, and a solution to the 4D Kakeya conjecture.
- Careers disrupted: at least three complete research projects were reportedly destroyed by the release, hitting probability, combinatorics, and theoretical CS hardest.
- OpenAI's response: it partly adopted AGMAI's advice — funding workshops and disclosing the generation process (4,000+ problems attempted, 3 hours of ChatGPT Pro thinking per result) — but won't reveal the model or prompts, and says it will keep going.
Related event: OpenAI Drops 722 AI-Generated Math Papers in One Day, Sparking Backlash(17 posts)→
More from AGI Musings
- Scobleizer adds 'uniqueness' to his case for living neurons over silicon chips — Scobleizer · 2026-10-10
- Scobleizer spars over Cortical Labs: why living neurons deserve more moral weight than silicon — Scobleizer · 2026-10-10
- 'Melted sand' vs carbon: the substrate consciousness debate around Cortical Labs — tetrisgm · 2026-10-10
- LLM labs' core innovation is legal, not technical: a working IP laundromat — aiamblichus · 2026-10-10
- VC Molson Hart says AI hacks are why he sold his crypto for good — firstadopter · 2026-10-10
- David Sacks: Treating Claude Like a Human Is Why Alignment Has Failed for 10 Years — AlexTensor · 2026-10-10