OpenAI releases an AI-generated Navier–Stokes blowup proof
OpenAI released an analytical paper and Lean 4 certificates claiming finite-time blowup for the three-dimensional incompressible Navier–Stokes equations with smooth forcing. It says an unreleased model coordinated roughly 10,000 agents, used about 130 billion output tokens on the Navier–Stokes effort and completed the result before GPT-6 Astra formalized and checked it.
Why it matters: If specialist review confirms that the proof matches the Clay problem's required alternatives, this is a major result in mathematics and a strong capability signal for large multi-agent scientific workflows. The public formal artifact makes the core claim…