Home · Technology · Oct 6 archive
OpenAI Releases Mathematical Breakthroughs in New Manuscripts
Confirmed
In Short: Despite the excitement, the broader mathematical community continues to evaluate the landscape of these recent breakthroughs, with some mathematicians urging AI companies to refrain from treating the release of mathematical results as marketing vehicles.
OpenAI has released a batch of 722 manuscripts containing solutions to hundreds of long-standing mathematics problems, according to The Verge. The manuscripts cover 372 result families and were produced by an unreleased frontier model.
The Advisory Group on Mathematics and Artificial Intelligence (AGMAI), an independent advisory group of elite mathematicians, has urged AI labs to release mathematical results promptly and through established academic channels, while disclosing details such as the model used, prompts, and compute costs.
In September, OpenAI announced that its model had resolved more than 100 long-standing open problems across most areas of mathematics. The company claims that the 'average result' used the equivalent of three hours of ChatGPT Pro thinking.
The recent announcement from OpenAI regarding the Navier-Stokes equations highlights a shift in how complex mathematical problems are approached through massive computational scale. However, the fundamental problem remains unsolved in the eyes of the mathematical community.
OpenAI has stated it does not intend to pursue the $1 million prize for solving the Navier-Stokes equations, as the Clay Mathematics Institute defines the Millennium Prize criteria based on the unforced Navier-Stokes equations, whereas the OpenAI result specifically addresses the forced version.
Tristan Buckmaster of NYU alleges that OpenAI contacted him on September 6, claiming their internal model had produced a 100-page proof using an approach strikingly similar to the work he and Levent Alpöge had developed.
OpenAI proposed co-authorship with Buckmaster while explicitly excluding Alpöge due to his affiliation with Anthropic, a proposal Buckmaster refused.
Despite the excitement, the broader mathematical community continues to evaluate the landscape of these recent breakthroughs, with some mathematicians urging AI companies to refrain from treating the release of mathematical results as marketing vehicles.
OpenAI said it recognizes the priority of the researchers' work on the forced Euler equations, a related but distinct problem from the Navier-Stokes equations.
OpenAI said it does not intend to claim the $1 million prize, framing the effort instead as a demonstration of model capability.
The company said it could not rule out that de-identified data from their use of OpenAI products may have contributed to model training, but it did not access the researchers' work through any means before it was released publicly.
What this adds
The distinction between rediscovering known results and genuinely solving new problems has become particularly important after earlier AI claims about mathematical breakthroughs were found to involve rediscovering results that were already known.
OpenAI's latest advances in mathematical reasoning have reignited an old question: can artificial intelligence crack some of mathematics' hardest problems? Reports that an OpenAI model may have solved the problem need to be treated carefully.
What's confirmed
- OpenAI has released a batch of 722 manuscripts containing solutions to hundreds of long-standing mathematics problems, according to The Verge. The manuscripts cover 372 result families and were produced by an unreleased frontier model.
- The Advisory Group on Mathematics and Artificial Intelligence (AGMAI), an independent advisory group of elite mathematicians, has urged AI labs to release mathematical results promptly and through established academic channels, while disclosing details such as the model used, prompts, and compute costs.
- In September, OpenAI announced that its model had resolved more than 100 long-standing open problems across most areas of mathematics. The company claims that the 'average result' used the equivalent of three hours of ChatGPT Pro thinking.
- The recent announcement from OpenAI regarding the Navier-Stokes equations highlights a shift in how complex mathematical problems are approached through massive computational scale. However, the fundamental problem remains unsolved in the eyes of the mathematical community.
- OpenAI has stated it does not intend to pursue the $1 million prize for solving the Navier-Stokes equations, as the Clay Mathematics Institute defines the Millennium Prize criteria based on the unforced Navier-Stokes equations, whereas the OpenAI result specifically addresses the forced version.
- Tristan Buckmaster of NYU alleges that OpenAI contacted him on September 6, claiming their internal model had produced a 100-page proof using an approach strikingly similar to the work he and Levent Alpöge had developed.
- OpenAI proposed co-authorship with Buckmaster while explicitly excluding Alpöge due to his affiliation with Anthropic, a proposal Buckmaster refused.
- Despite the excitement, the broader mathematical community continues to evaluate the landscape of these recent breakthroughs, with some mathematicians urging AI companies to refrain from treating the release of mathematical results as marketing vehicles.
- OpenAI said it recognizes the priority of the researchers' work on the forced Euler equations, a related but distinct problem from the Navier-Stokes equations.
- OpenAI said it does not intend to claim the $1 million prize, framing the effort instead as a demonstration of model capability.
- The company said it could not rule out that de-identified data from their use of OpenAI products may have contributed to model training, but it did not access the researchers' work through any means before it was released publicly.
What's still developing
- The results have been expected for weeks, although until now OpenAI had not provided details about which problems the model had solved or exactly when they would be published.
- It extends a run of breakthroughs that have both impressed and unsettled parts of the mathematical community while raising questions about research ethics and academic conduct.
- That distinction has become particularly important after earlier AI claims about mathematical breakthroughs were found to involve rediscovering results that were already known.
- But reports that an OpenAI model may have solved the problem need to be treated carefully.
- At its core, the problem asks whether smooth three-dimensional solutions to the Navier-Stokes equations always remain smooth over time, or whether they can develop a singularity, sometimes described as a mathematical “blow-up”.
- That question has resisted a complete mathematical solution for decades.
- OpenAI has been increasingly testing its models on difficult mathematical and theoretical computer science problems.