OpenAI mathematics manuscript release

OpenAI published a repository of mathematical manuscripts produced by an internal model on October 6. Its README lists 722 manuscripts grouped into 372 families of related results, with PDFs, source files and some supporting Lean formalizations. The company says it posed the model approximately 4,000 problems during the evaluation. It also warns that not all results have been formalized and some unformalized arguments could have errors. The Verge reported the release after OpenAI had previously described broad mathematical progress without publishing this collection. Manuscript and result-family counts describe materials available for examination, not independently confirmed solutions to the same number of open problems.