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. 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…