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.
201 Articles
201 Articles
KI company OpenAI says they have solved one of the biggest math problems of the past 100 years.
For solving the Navier—Stokes equations, there is a basic reward of $1 million. According to OpenAI, it would cost 15 million if a user wanted to complete the task with AI.
OpenAI says it has solved one of math’s "Millennium Problems"
(CNN) — OpenAI on Tuesday said its artificial intelligence technology has cracked one of the Millennium Problems –– seven famously difficult and unsolved questions in mathematics that have stumped even the world’s brightest minds.
OpenAI says it has solved one of math’s "Millennium Problems"
By Karina Tsui, CNN (CNN) — OpenAI on Tuesday said its artificial intelligence technology has cracked one of the Millennium Problems –– seven famously difficult and unsolved questions in mathematics that have stumped even the world’s brightest minds. In a release of its findings, the company said an internal model, not released to the public,
OpenAI says it has solved one of math’s "Millennium Problems"
By Karina Tsui, CNN (CNN) — OpenAI on Tuesday said its artificial intelligence technology has cracked one of the Millennium Problems –– seven famously difficult and unsolved questions in mathematics that have stumped even the world’s brightest minds. In a release of its findings, the company said an internal model, not released to the public,
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.
Coverage Details
Bias Distribution
- 37% of the sources lean Left
Factuality
To view factuality data please Upgrade to Premium
