OpenAI Says It Cracked Navier-Stokes. It Took Roughly 10,000 AI Agents.

OpenAI announced a proposed solution to the Navier-Stokes existence and smoothness problem, a Millennium Prize Problem unsolved for approximately 90 years. Utilizing roughly 10,000 AI agents, the lab released a mathematical writeup and a formalization in Lean. These fundamental equations describe fluid motion and are essential for studying airflow and water. While the claim suggests a significant breakthrough in mathematical physics, the results currently await independent scrutiny from the academic community to verify the counterexample provided.