OpenAI says a project to prove the Navier-Stokes existence and smoothness problem, estimated at between $10 million and $15 million, could cost about $100,000 in 2027 thanks to expected gains in AI efficiency. The system used roughly 10,000 coordinated AI agents for 88 hours to produce the analysis and another 17 hours to formalize and verify it in Lean. According to OpenAI, the proof shows that the Navier-Stokes equations can develop finite-time singularities from smooth initial conditions while total energy remains finite. Although the Clay Mathematics Institute offers a $1 million prize for solving the problem, OpenAI has said it will not pursue the award. The result has also sparked debate among mathematicians over research priority and attribution of credit, while independent experts continue to examine its validity.
Source: Read the original article
