OpenAI claims solution to Navier-Stokes Millennium Prize problem

Navier-Stokes equations Millennium Prize Problems artificial intelligence mathematical proof autonomous AI agents

OpenAI has announced that its internal artificial intelligence system has achieved a breakthrough by solving key aspects of the Navier-Stokes existence and smoothness problem, one of the seven Millennium Prize Problems. The company reported that approximately 10,000 autonomous AI agents worked for 88 hours to generate the proof, which was subsequently formalized using the Lean programming language. The computing effort is estimated to have cost millions of dollars.

The announcement has sparked significant controversy within the mathematical community. Tristan Buckmaster, a professor at New York University, and Levent Alpöge from Anthropic have raised concerns regarding the timing of OpenAI's research. Buckmaster alleges that OpenAI may have gained access to or been influenced by their ongoing research into related fluid dynamics problems. While OpenAI has denied directly using specific researcher data or private drafts, the company acknowledged that general usage patterns from its products could have potentially aided model improvement.

Although the solution addresses critical components of the Millennium Prize requirements, it has not yet been independently verified or officially accepted by the Clay Mathematics Institute. OpenAI has stated it does not intend to claim the $1 million prize, focusing instead on demonstrating the rapid advancement of AI in solving complex, high-level mathematical challenges.

Entities

Anthropic · Clay Mathematics Institute · Levent Alpöge · Navier-Stokes equations · Navier-Stokes equations · New York University · New York University · OpenAI · Sébastien Bubeck · Tristan Buckmaster

Claims

What the coverage asserts, and how many sources carry each claim.

[● 40 SOURCES] OpenAI claims its AI has solved the Navier-Stokes existence and smoothness problem. rpp.pe · www.karar.com · www.ziarulnational.md · bccnews.com.tw · www.bbc.co.uk · +32 more
[● 15 SOURCES] The AI proof suggests that under the Navier-Stokes equations, fluids can achieve infinite speed in a finite amount of time. forkast.news · nachrichten.fr · rpp.pe · tech-noisy.com · tribunadepetropolis.com.br · +7 more
[● 35 SOURCES] Solving a Millennium Problem carries a prize of US$1 million from the Clay Mathematics Institute. bccnews.com.tw · time.news · www.bbc.co.uk · thanhnien.vn · udgtv.com · +27 more
[● 38 SOURCES] Approximately 10,000 AI agents worked coordinately for 88 hours to achieve the result. rpp.pe · bccnews.com.tw · www.karar.com · forkast.news · www.ziarulnational.md · +30 more
[● 6 SOURCES] OpenAI published a 165-page document supporting its findings regarding the singularity in the equations. rpp.pe · tech-noisy.com · actualidad.rt.com · www.ekirikas.com · baotintuc.vn · +1 more
[● 13 SOURCES] NYU mathematician Tristan Buckmaster accused OpenAI of attempting to misappropriate research and pressure collaborators regarding related mathematical findings. time.news · bccnews.com.tw · biz.heraldcorp.com · hipertextual.com · lanigua.com.mx · +6 more
[● 5 SOURCES] The OpenAI proof addresses the forced version of the Navier-Stokes equations, which does not qualify for the Clay Mathematics Institute Millennium Prize. forkast.news · tech-noisy.com · tob.news · enterprisewired.com
[● 3 SOURCES] The computing effort for the AI agents is estimated to have cost approximately $10 million. tob.news · enterprisewired.com · bitcoinethereumnews.com
[● 2 SOURCES] The company does not intend to claim the $1 million prize. crypto-times.jp
[● 6 SOURCES] The Navier-Stokes problem is one of the seven Millennium Prize Problems, carrying a $1 million reward. makpress.mk · mereja.com · www.teknoblog.com · www.infoq.cn
[● 3 SOURCES] The mathematical proof has not yet been independently verified or officially accepted by the Clay Mathematics Institute. mereja.com
[● 7 SOURCES] OpenAI's internal model used approximately 10,000 autonomous AI agents to reach a solution. fjala.al · makpress.mk · mereja.com · www.teknoblog.com · crypto-times.jp