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…