Sam Altman says the next-generation GPT has proven the Navier–Stokes problem

Nov 3

1. 08:23

   36Kr · AI

   Altman Confirms: The Next-Generation GPT That Cracked the Navier-Stokes Equations Is About to Be Released

   At ADIPEC 2026, Altman confirmed that the internal model that solved the Navier-Stokes equations is the next-generation GPT, which is about to be released. The model once used 10,000 flat (non-hierarchical) Agents running continuously for 88 hours to complete the proof, then took another 17 hours to complete Lean formal verification, consuming about 2.7 million messages and 130 billion output tokens. By October, similar problems could already be completed in about 3 hours with a single prompt.

   Expand summary
2. 08:21

   36Kr · AI

   Altman Previews Next-Generation GPT: 10,000 Agents Collaborate to Complete Navier–Stokes Proof

   At the ADIPEC 2026 energy conference in Abu Dhabi, Sam Altman disclosed that the Navier–Stokes mathematical breakthrough previously announced by OpenAI was accomplished by 10,000 Agents driven by the upcoming next-generation GPT, which worked collaboratively and continuously for about 4 days, with no hierarchy and no unified leader. OpenAI disclosed that the experiment started on September 1, with the Agent scale ultimately reaching about 10,000; it completed the core mathematical exploration in about 88 hours, exchanging 2.7 million messages and generating about 130 billion Tokens, after which GPT-6 Astra used 17 hours to complete formalization and verification through Lean. Altman said the research cost about $10 million, and he expects that by September 2027 it could be redone at about one percent of the cost, but he did not disclose the model name or release date of the next-generation GPT.

   Expand summary
3. 07:18

   Sina Tech

   Altman Previews Next-Generation GPT: 10,000 Agents Collaborate to Crack the Navier–Stokes Problem

   At the ADIPEC 2026 energy conference in Abu Dhabi, Sam Altman disclosed that the Navier–Stokes mathematical breakthrough previously announced by OpenAI was accomplished by 10,000 Agents driven by the upcoming next-generation GPT, which worked collaboratively for about 4 consecutive days with no hierarchy and no unified leader. OpenAI said the experiment started on September 1, with the Agent scale eventually reaching about 10,000; in about 88 hours they exchanged 2.7 million messages and generated about 130 billion Tokens, after which GPT-6 Astra used 17 hours to complete the formalization and verification through Lean. Altman said the research cost about $10 million, and he expects it could be redone at about one percent of the cost by September 2027, but he did not disclose the model name or release date of the next-generation GPT.

   Expand summary
4. 06:07

   Rohan Paul

   Altman Says the Next-Generation GPT Proved a Millennium Prize Problem

   Rohan Paul relays Sam Altman's statement at the opening ceremony of ADIPEC in Abu Dhabi: the upcoming next-generation GPT is the model OpenAI used to prove a Millennium Prize math problem. It is said that 10,000 copies of the model ran continuously for about 4 days to complete the proof; there was no hierarchy among the copies, and each chose its own direction, shared progress, and learned from one another.

   Expand summary