Sharing AI progress in mathematics

On October 15, 2026, OpenAI announced a contribution of $5 million to a new Simons Foundation initiative designed to help mathematicians examine, understand, and build upon AI-produced results. Managed and awarded by the Simons Foundation, this funding will support workshops, conferences, and special programs, while Simons-supported researchers will also receive access to OpenAI models and computing resources. In conjunction with this funding, OpenAI released a broad range of new mathematical results generated by an internal frontier model, publishing them in a GitHub repository alongside protocols for paper revisions and citations. To ensure best practices, OpenAI consulted the independent Advisory Group on Mathematics and Artificial Intelligence at the Institute for Advanced Study. The GitHub repository includes formalizations of many proofs in Lean, a programming language enabling computer-checked mathematical proofs, as well as methodological details. These details feature 10 summaries of the model's reasoning, estimations of compute spent in terms of ChatGPT Pro usage, and statistics on attempted problems, noting that the average result required compute equivalent to roughly three hours of ChatGPT Pro thinking. OpenAI stated it aims to responsibly release the model that produced these results and will continue updating its standards for future scientific disclosures based on community feedback.