OpenAI Releases 722 Mathematical Manuscripts Generated by Undisclosed Frontier AI Model

OpenAI published 722 mathematical manuscripts, organized into 372 result families, on October 6, 2026, crediting the work to an internal frontier model that remains unnamed and unreleased. The release, which landed on GitHub, includes supporting proof artifacts and Lean formalizations, showcasing significant progress in AI's mathematical reasoning capabilities. This move has prompted discussions among mathematicians and AI researchers about the nature of progress when the generative model is not publicly accessible.