Altman at ADIPEC: The Internal Model Behind the 10,000-Agent Navier-Stokes Proof Is "the Next GPT," Coming Soon
Speaking at the ADIPEC energy conference in Abu Dhabi on November 2, OpenAI CEO Sam Altman said the September run in which 10,000 agents collaborated for about four days used "the model that is going to be released soon, the next GPT," stressing that the agents had no hierarchy and were fully decentralized. It is the first public statement tying the internal model behind OpenAI's September Navier-Stokes proof to its next flagship, though OpenAI has given no name, release date or price.
Key Takeaways
- Quote (ADIPEC keynote video): "It was 10,000 agents of the model that is going to be released soon, the next GPT, working for about four days, nonstop."
- OpenAI's September 8 blog post: about 10,000 concurrent agents reached the result in about 88 hours, and GPT-6 Astra took another 17 hours for Lean formalization and verification.
- Scale (OpenAI figures): 2.7 million agent messages and about 130 billion output tokens for Navier-Stokes alone; 4.9 million messages and about 300 billion output tokens across all attempted problems.
- The Lean proof is public at openai/NavierStokesAndEuler and establishes statements C and D of the official Clay formulation (breakdown with smooth forcing).
- Not disclosed: the next GPT's name, release date, price or benchmarks; names like "GPT-6.2 Astra" circulating on X are speculation.
Linked Models & Agents: