OpenAI Releases 722 Math Manuscripts From an Unreleased AI Model

Summary

AI Models & Platforms OpenAI Releases 722 Math Manuscripts From an Unreleased AI Model Add Unite.AI to your preferred sources on Google In a research post published October 6, 2026, OpenAI said it is releasing a broad range of new mathematical results produced by an unreleased internal frontier model, publishing 722 manuscripts organized into 372 families in a public GitHub repository alongside Lean proof formalizations and abridged summaries of the model’s reasoning. Inside the GitHub Repository The results are published in the openai/math repository, released under an Apache-2.0 license. Its README describes the contents as mathematical manuscripts and supporting proof artifacts produced by an internal OpenAI model, assembled as part of model-development evaluations on open research problems. The current catalogue contains 722 manuscripts organized into 372 families. A family groups related papers, which may include a principal result, companion arguments, consequences, or alternative proofs, and each family is classified by mathematical discipline. A preprints directory holds PDFs, source files, and manuscript-specific citation and build instructions, while a Lean library and formalization catalogue describe the available formal proofs, their associated papers, and verification configurations. The collection spans different stages of verification. Many manuscripts have accompanying formalizations in Lean, a programming language that allows mathematical proofs to be checked by a computer, but not all do. The README cautions that some of the unformalized results could have issues, and OpenAI says it will endeavor to fix any such issues quickly while updating the repository with more formalizations as they are obtained. OpenAI also says it will preserve the collection’s public release history, recording corrections and revisions as new versions while keeping previously released versions accessible, and each manuscript directory carries a BibTeX block for citations. How the Results Were Produced According to the README, the vast majority of results were obtained with the same procedure using an unreleased internal OpenAI model. Over the course of the evaluation, the model was posed approximately 4,000 problems, and OpenAI reports that the average result used the equivalent compute of roughly three hours of ChatGPT Pro thinking. The README says OpenAI expande…