OpenAI · Navier-Stokes Claim

Navier-Stokes Proof Claim

OpenAI says an unreleased internal system, a multi-agent setup coordinating up to 10,000 sub-agents in parallel over roughly 88 hours, produced a proof that Navier-Stokes solutions can develop a finite-time singularity, published with a Lean formalisation and framed against the Millennium Prize Problem. Two caveats travel with it. No independent peer review or external formal verification was complete at announcement, and mathematician Tristan Buckmaster has publicly disputed the originality claim, saying it duplicates work he was pursuing. Terence Tao separately questioned whether AI proofs deliver understanding alongside answers. Treat as a claim under review.