OpenAI's 10,000-agent run builds a forced Navier–Stokes blowup, not the Clay solution

OpenAI ran roughly 10,000 agents in parallel for about 88 hours to construct a finite-time blowup for the Navier–Stokes equations, with the 165-page proof machine-checked in Lean in a further 17 hours. The construction adds a smooth external forcing term, so it does not meet the Clay formulation — Clay still lists the problem unsolved and OpenAI declines the $1M prize. The signal is the method, not the result: a large agent fleet producing a research-scale proof that verifies formally, a marker of how far AI has pushed into frontier mathematics.

Source: openai.com ↗