Sep 8, 2026
OpenAI publishes an analytical proof and Lean formalization of finite-time blowup for smooth, externally forced three-dimensional Navier–Stokes flow, presenting it as a resolution of Clay’s alternatives C and D.
The announcement concerns a specific forced case. It also reports unforced Euler blowup. Alpöge and Buckmaster’s concurrent Anthropic-assisted work concerns forced Euler, a distinct result; no Millennium Prize award is asserted here.