OpenAI Claims a Navier–Stokes Blowup, and a Credit Fight Erupts
OpenAI published a 165-page proof plus a Lean 4 formalization establishing finite-time blowup for 3D incompressible Navier–Stokes under a smooth applied force, addressing statements C and D of the Clay Institute problem. The run used roughly 10,000 concurrent agents, 2.7 million messages and 130 billion output tokens across 88 hours, followed by about 17 hours of checking in Lean; Noam Brown put the compute bill in the millions, and OpenAI says it will not claim the $1 million prize. NYU's Tristan Buckmaster and Anthropic's Levent Alpöge announced a result roughly 12 hours earlier and say they had one by 22 August.