OpenAI opens a large AI-generated mathematics collection for scrutiny
OpenAI has released 719 mathematical manuscripts grouped into 372 families, putting AI-generated research into the open for mathematicians to check and build on. The repository already records withdrawals and repairs: the opportunity is a larger pool of research candidates, with correctness and novelty still needing to be established result by result.
The collection includes related arguments and alternative proofs at different stages of verification, with only some results formally checked. Manuscript and family counts do not represent verified solutions to that many new open problems.
Its 7 October history entry records three withdrawals and revisions to 14 other manuscripts. The original announcement is dated 6 October; a 15 October funding update is a separate development.
Corrections and clarifications
Repository history dated 7 October records three withdrawals and other proof repairs; the surviving collection must be assessed result by result.