OpenAI releases findings on hundreds of math problems

The model attempted approximately 4,000 research problems during testing,. Read:OpenAI says AI model solved one of mathematics' Millennium Prize Problems. OpenAI said the published results were at different stages of verification.

We’re releasing a broad range of new mathematical results produced by an internal frontier model.

We’ve been consulting with the independent Advisory Group on Mathematics and Artificial Intelligence at the Institute for Advanced Study, and we have drawn on their advice and…— OpenAI (@OpenAI)October 6, 2026For many results, the company also released proofs written in Lean, a programming language that enables computers to check whether mathematical arguments follow logically.

It plans to add more as they become available. OpenAI published 10 summaries of the model’s reasoning and estimates of the computing power used.

It said the average result required computing power equivalent to roughly three hours of ChatGPT Pro “thinking.”Completely unrelated to the rest of the ships today, but our models did solve some important math problems and the team documented it in the following blogpost.

Remarkable new era of scientific progress.https://t.co/AYSuteVNiA— Tibo (@thsottiaux)October 6, 2026The company said it consulted the independent Advisory Group on Mathematics and Artificial Intelligence at the Institute for Advanced Study on how to present and share the research.

"This is an important event for mathematics, with consequences both for mathematics and for the mathematical community that extend far beyond the individual results," the group said, stressing its advisory role did not amount to an endorsement of the results. “Making this work public is a first step.

This release is the beginning, not the completion, of the process of human understanding and the incorporation of the work into mathematical knowledge,” it added. “The future of mathematical research cannot consist only of understanding results produced by AI labs.”