OpenAI Releases 722 Math Manuscripts From an Unreleased AI Model

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.