OpenAI publishes 722 AI-generated maths papers, leaving 377 claimed results to be checked
AI · Wednesday, October 7, 2026 · 9 sources

OpenAI publishes 722 AI-generated maths papers, leaving 377 claimed results to be checked

OpenAI has released 722 manuscripts from an unreleased model, grouped into 372 research families and covering work on around 4,000 problems. The company says the collection contains 377 new results; mathematicians will need to verify them, while questions about attribution and the model’s secrecy remain.

Bottom line — Until OpenAI releases the model, researchers cannot reproduce how it produced the 377 claimed results.

Go deeper 5

  1. OpenAI says the typical result used computing equivalent to about three hours of ChatGPT Pro reasoning.

  2. The company published the manuscripts on GitHub with procedures for revisions and citations, and says it is exploring community-hosted alternatives.

  3. Many proofs have been formalised in Lean, a system that lets computers check proofs against formal rules; OpenAI says some results remain unverified.

  4. OpenAI consulted the Institute for Advanced Study’s Advisory Group on Mathematics and Artificial Intelligence, but the group’s recommendations called for disclosures including the model and prompts.

  5. The release follows controversy around OpenAI’s Navier-Stokes claim, which overlapped with work by another group and renewed concerns about credit.

Read the reporting 9

dstld. Your daily news summary designed to surface the news that matters from a European perspective. Curated by humans, summarized by AI - always with links back to the original reporting.

Links · Contact
Popular topics · WorldEuropeGamesAI
Last generated: Oct 7, 6:51 AM UTC by wreetco

dstld. Your daily news summary designed to surface the news that matters from a European perspective. Curated by humans, summarized by AI - always with links back to the original reporting.

Links · Contact
Popular topics · WorldEuropeGamesAI
Last generated: Oct 7, 6:51 AM UTC by wreetco