OpenAI Says AI Model Solved One of Mathematics’ Millennium Prize Problems
OpenAI said the proof used up to 10,000 AI agents and 88 hours of computing, but mathematicians say the result still needs outside review.
- On Tuesday, OpenAI announced its unreleased internal model solved the Navier-Stokes existence and smoothness problem using about 10,000 AI agents over 88 hours, producing a Lean-formalized proof of this Millennium Prize Problem.
- Mathematicians Tristan Buckmaster, New York University professor, and Levent Alpöge, Anthropic researcher, had independently researched related fluid equations for nearly a year before OpenAI's announcement, triggering a dispute over methodology and credit.
- Buckmaster alleges OpenAI pressured him to exclude Alpöge from authorship after learning of their progress; OpenAI researchers deny these claims, stating they did not access the pair's private work or Codex logs.
- OpenAI's proof remains private, precluding independent verification required for the $1 million Clay Mathematics Institute prize, though the company stated it does not intend to claim the award.
- Defining authorship and verification standards for AI-generated proofs presents significant challenges for mathematicians as corporate-driven discovery increasingly replaces traditional academic inquiry in the field.
307 Articles
307 Articles
Mathematicians Using AI Announced They Were Close To Solving One Of The Holy Grails Of Math – And Then The Drama Started
The story has everything: an unsolved mathematical question, accusations of questionable practices, and nobody wanting to claim a $1 million prize.
AI may have made its biggest mathematical breakthrough yet. According to Open AI, their models have found a solution to one of mathematics' most famous unsolved problems. But ethical questions are being raised about how the discovery was made.
Expert: has exploited the work of humans, scientists may not share anymore (ANSA)
On Tuesday, OpenAI announced that its artificial intelligence technology had solved one of the so-called Millennium Problems: seven highly complex and unresolved mathematical issues that have challenged even the brightest minds in the world.
For decades, mathematicians have bitten their teeth on it, and now a new AI model has solved the "Navier-Stokes-existence and smoothness problem." But there is a shadow on the triumph.
Coverage Details
Bias Distribution
- 35% of the sources lean Left
Factuality
To view factuality data please Upgrade to Premium
