OpenAI Says AI Model Solved One of Mathematics’ Millennium Prize Problems
OpenAI said its internal model used 10,000 agents and nearly 3 million messages to reach the result, which remains unverified by outside mathematicians.
- On Tuesday, OpenAI announced its AI agents solved the Navier-Stokes existence and smoothness problem using 10,000 agents over 88 hours, generating a Lean-verified proof of this 90-year-old Millennium Prize challenge.
- The Navier-Stokes equations describe fluid motion and have frustrated mathematicians for roughly 90 years; solving this Millennium Prize Problem carries a $1 million reward from the Clay Mathematics Institute.
- New York University mathematics professor Tristan Buckmaster alleged OpenAI rushed its work after learning of his progress with Anthropic mathematician Levent Alpöge on September 3, claiming the company proposed unethical authorship terms.
- Disputes over credit and data usage have overshadowed the mathematical milestone, raising concerns about AI's role in scientific discovery and academic norms. OpenAI stated it does not plan to claim the $1 million prize.
- Verification by the Clay Mathematics Institute remains pending, as OpenAI's proof has not been publicly released. This incident reflects growing tension between AI-driven research and traditional academic practices in mathematics.
182 Articles
182 Articles
Anyone who solves one of the millennium problems of mathematics will get a million dollars prize money. The proof with AI has cost a multiple of it. But this race has not been about money for a long time.
What is the 90-year-old Navier-Stokes problem that OpenAI says AI has solved?
OpenAI says its AI system has solved the 90-year-old Navier-Stokes problem, one of mathematics’ most challenging unanswered questions. The result could mark a major milestone for both mathematics and AI.
OpenAI claims that one of its AI models has solved an age-old mathematical problem. The company behind ChatGPT claimed to have had only...
The »Navier-Stokes-Existenz- und Glattheitsproblem« is solved, writes OpenAI. Her AI has solved one of the long unresolved mathematical »Millenium-Problems«.
The company led by Sam Altman mobilized thousands of AI boats to attack the famous Navier-Stokes equations of fluid dynamics. OpenAI announced Tuesday that it used a group of 10,000 independent robots (AI agents) who worked together for 88 hours. They changed almost 3 million messages for ...
Coverage Details
Bias Distribution
- 39% of the sources lean Left
Factuality
To view factuality data please Upgrade to Premium
