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.
300 Articles
300 Articles
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.
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.
And now experts are arguing whether the company has illegally exploited the preparatory work of other mathematicians, but if the solution to the Navier-Stokes problem persists, this proof could be the end of mathematics as we know it.
A smooth liquid can form a singularity: researchers in San Francisco want to have proven this with an AI system. What does that mean – and can you believe it?
Coverage Details
Bias Distribution
- 35% of the sources lean Left
Factuality
To view factuality data please Upgrade to Premium
