OpenAI released mathematical results produced by an internal frontier model and published reasoning summaries
Sharing AI progress in mathematics
OpenAI released a batch of mathematical results produced by an internal frontier model, made public in a GitHub repository, with accompanying paper revisions and citation protocols. The repository also provides Lean formalizations of many proofs for computer checking, and will be continuously updated as progress is made. To enhance transparency, OpenAI also published 10 model reasoning summaries, compute consumption estimated by ChatGPT Pro usage, and statistics on the number of attempted problems, with each result averaging approximately the compute equivalent of three hours of ChatGPT Pro thinking. OpenAI stated it is consulting with the Mathematics and AI Advisory Group at the Institute for Advanced Study in Princeton on publication norms, and will fund workshops, conferences, and special projects around understanding major AI achievements, while continuing to evaluate internal frontier models' capabilities in scientific fields such as mathematics.
OpenAI published mathematical results produced by an internal frontier model and Lean formal proofs, along with disclosure details such as compute and reasoning summaries.