On the Navier-Stokes Millennium Prize Problem
OpenAI says an internal model stronger than GPT-6 Astra used about 10,000 coordinating AI systems, 2.7 million messages, and 130 billion output tokens to produce a claimed Navier-Stokes result. Astra then formalized the work in Lean. The capability signal still needs independent validation.
What the source reports
OpenAI says an internal model stronger than GPT-6 Astra coordinated about 10,000 AI systems to work on a claimed Navier-Stokes result. The snapshot lists 2.7 million messages and about 130 billion output tokens. It also says Astra formalized the result in Lean. Those numbers make the report a capability signal about scale and coordination. The source-specific limit is explicit: the claim was still pending independent validation in the snapshot. The copy should not treat the math result as settled.
Original source
- Title
- On the Navier-Stokes Millennium Prize Problem
- Author
- OpenAI
- Publication
- OpenAI
- Date
- Tuesday, September 8, 2026