OpenAI Says Its AI Solved a Millennium Prize Problem
OpenAI said the result came from an internal model and 10,000 AI agents, but rival researchers dispute whether unpublished work influenced the proof.
- 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.
379 Articles
379 Articles
'Why would you ruin your career?': OpenAI claims to have cracked one of math's greatest unsolved problems, but mathematicians allege it played dirty
The breakthrough on the Navier-Stokes equations could be worth a $1 million prize, but a mathematician at the center of the story has serious questions about how OpenAI got there so fast.
OpenAI's artificial intelligence system has solved one of the seven “millennium problems” — the problem of the existence and smoothness of solutions to the Navier-Stokes equations. The company claims that its AI agents completed it in 88 hours, although scientists have been looking for a solution to this problem for more than 90 years. The company said that they decided to address this problem when they heard rumors about the progress that two m…
OpenAI AI agents have solved one of the seven Millennium problems. Mathematicians are listening.
Coverage Details
Bias Distribution
- 46% of the sources are Center
Factuality
To view factuality data please Upgrade to Premium
