The proof is public. The prize is declined and the credit is disputed.
OpenAI says an internal model proved that three-dimensional Navier-Stokes solutions can blow up under a smooth applied force. The proof is public with a machine-checked formalization, and a fight over who got there first began within hours.
- What was claimed: About 10,000 agents ran for roughly 88 hours, then about 17 more to formalize the result in Lean, on a model that is not publicly available. The paper and Lean code are released for anyone to check.
- What about the prize: OpenAI says it will not claim the Millennium Prize. The result covers the forced case, and whether that meets the Clay Institute's formulation is itself being argued.
- Whose result: Tristan Buckmaster and Levent Alpöge announced related Euler blow-up results on September 7, hours earlier. Buckmaster alleges pressure over authorship; OpenAI denies it and now credits their concurrent work. A second complaint about a different OpenAI proof is circulating on X and is unverified.