OpenAI claims Navier-Stokes blowup proof via agents

On September 8, 2026 OpenAI published a proof that the Navier-Stokes equations can form a finite-time singularity under a smooth force, claiming Clay statements C and D, produced by about 10,000 coordinating agents on an internal model more capable than GPT-6 Astra. Agents finished the resolution on September 5 after about 88 hours, with Lean formalization via GPT-6 Astra taking about 17 more hours. OpenAI said it will not claim the $1 million Millennium Prize; the Clay Mathematics Institute has not commented, and NYU's Tristan Buckmaster questioned whether the route resembled unpublished work with Anthropic's Levent Alpoge.