[CLSTR]
API
< Back to all clusters
[TECHNOLOGY] · United States · 6 sources

started · updated

Part of situation: OpenAI mathematical breakthroughs and transparency debate (8 clusters)

OpenAI claims AI solved Navier-Stokes equations, sparking mathematical controversy

OpenAI Navier-Stokes equations mathematical proof AI agents Millennium Prize Problems

OpenAI has announced that its internal AI models have produced a potential solution to the Navier-Stokes existence and smoothness problem, one of the seven Millennium Prize Problems. The company reports that approximately 10,000 AI agents worked simultaneously over 88 hours to generate the 166-page proof, which was written in the formal verification language Lean.

However, the mathematical community has raised significant concerns regarding the validity and nature of the work. Experts, including mathematician Gonzalo Cao-Labora, suggest that OpenAI's approach differs from the methods previously proposed by Spanish mathematicians Diego Córdoba and Luis Martínez-Zoroa, implying the company may not fully grasp the logic behind its own model's output. Additionally, there are disputes regarding intellectual property, with mathematician Tristan Buckmaster suggesting the work may have utilized research from his own studies.

Furthermore, the scale of the AI's contribution remains unclear. OpenAI researcher Noam Brown noted that it is difficult to determine how much of the success was due to the 10,000-agent swarm versus the underlying model's capabilities, estimating the multi-agent architecture's specific contribution might be less than 10%. A group of 28 Field Medalists has signed a statement warning of a growing disconnect between the rapid, automated outputs of AI companies and the rigorous requirements of mathematical science. The Clay Mathematics Institute has not yet verified the solution, a process that typically requires a two-year review period.

Entities

Clay Mathematics Institute · Gonzalo Cao-Labora · Hugo Duminil-Copin · Navier-Stokes equations · Navier-Stokes equations · Noam Brown · OpenAI

Claims

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

  • [● 3 SOURCES] The solution was generated by approximately 10,000 AI agents working simultaneously over 88 hours. bosnainfo.ba · www.ithome.com · the-decoder.com
  • [● 2 SOURCES] The Clay Mathematics Institute has not yet recognized the solution, as it requires a two-year verification process. bosnainfo.ba · the-decoder.com
  • [● 3 SOURCES] OpenAI claims its internal AI model solved the Navier-Stokes existence and smoothness problem. bosnainfo.ba · www.ithome.com · the-decoder.com
  • [● 2 SOURCES] OpenAI researcher Noam Brown estimates the multi-agent collaboration architecture's contribution to the success may be less than 10%. www.ithome.com · the-decoder.com
  • [○ 1 SOURCE] A group of 28 Field Medalists signed a statement warning of a mismatch between AI company goals and mathematical rigor. bosnainfo.ba
  • [● 2 SOURCES] Mathematician Tristan Buckmaster accused OpenAI of potentially benefiting from his and Levent Alpöge's research using public models. www.ithome.com · the-decoder.com
  • [● 2 SOURCES] Mathematician Gonzalo Cao-Labora states that OpenAI's proof uses a different approach than the one previously proposed by Spanish mathematicians. www.ithome.com · the-decoder.com
  • [● 2 SOURCES] OpenAI denied using Tristan Buckmaster's data for its research. www.ithome.com · the-decoder.com

Sources

OpenAI tvrdi da je za 88 sati riješio problem star 90 godina, vodeći matematičari upozoravaju na opasnost [bosnainfo.ba]
Direktorica MMF-a: Umjetna inteligencija bez jasnih sigurnosnih pravila postaje sve veći rizik [poslovnipuls.com]
OpenAI’s math proof ignites debate over scientific credit [scotscoop.com]
Naučnici identifikovali 17 glavnih pretnji za čovečanstvo: Mogu da dovedu do izumiranja [nova.rs]
OpenAI 纳维-斯托克斯方程证明方法被指与官方叙事不符：学界验证尚需数年，智能体贡献同样成谜 - IT之家 [www.ithome.com]
Mathematicians say OpenAI doesn't understand its own Navier-Stokes proof [the-decoder.com]