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.
- Observed threads
- 5
- Source clusters
- 4
- Observed
- Updated
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.