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.
168 Articles
168 Articles
OpenAI announced that it has solved one of the "Millennium Problems," considered one of the most challenging unsolved problems in modern mathematics. Since the seven Millennium Problems were selected in 2000, only one has been officially solved to date. If OpenAI's proof passes verification by the international mathematical community, it will be the second solution and the first instance of artificial intelligence (AI) solving a Millennium Probl…
OpenAI said Tuesday that the latest technology of artificial intelligence has solved one of the "problems of the millennium," a collection of important unanswered mathematical questions. The announcement is another clear sign that intelligence...
OpenAI Cracked a $1 Million Math Problem With 10,000 AI Agents, Rival Mathematicians Now Cry Foul
OpenAI says 10,000 AI agents cracked a $1 million Navier-Stokes problem in 88 hours, but rival mathematicians accuse it of racing on their unpublished work and question data safety.
OpenAI claimed to have solved one of the world's seven Millennium Prize Problems using artificial intelligence. If the proof is verified, there is anticipation that it could be the first instance of AI solving a top-tier problem that humans have been unable to solve. On the 8th (local time), OpenAI [announced] that it had internally developed
(Seoul = Yonhap News) Reporter Im Hwa-seop = Artificial intelligence (AI) company OpenAI [is working on] the 'Navier-Stokes' problem, one of the mathematical challenges with a $1 million bounty...
Coverage Details
Bias Distribution
- 35% of the sources lean Left
Factuality
To view factuality data please Upgrade to Premium
