Gemini Google Takes Dreambeans to India, Its First Market Outside the US, as American Downloads Slump Business Chinese Sparse-Computing Chip Startup MoFETT AI Raises Nearly 1 Billion Yuan in a C-Plus Round News Qualcomm Validates HBC Memory Stacks That Push 133 TB/s Toward Its AI250 Accelerator ChatGPT Altman Says the Model That Cracked Navier-Stokes Is the Next GPT, and It Is Coming Soon News Embodied-AI Startup RoboScience Closes Another Funding Round as 360's Strategic Arm Backs Its Push Into Logistics and Retail Robots Security Anthropic Tells Investors It May 'Imminently' Cross Its Recursive Self-Improvement Threshold — and Might Only Notice After It Happens AI Agents Trajectory Raises 45 Million Dollars From Sequoia and Nvidia to Let Nontechnical Experts Fine-Tune AI Models Business Salesforce Pays 2.7 Billion Dollars for Cresta in Its Second AI Contact-Center Acquisition This Fall Gemini Google Takes Dreambeans to India, Its First Market Outside the US, as American Downloads Slump Business Chinese Sparse-Computing Chip Startup MoFETT AI Raises Nearly 1 Billion Yuan in a C-Plus Round News Qualcomm Validates HBC Memory Stacks That Push 133 TB/s Toward Its AI250 Accelerator ChatGPT Altman Says the Model That Cracked Navier-Stokes Is the Next GPT, and It Is Coming Soon News Embodied-AI Startup RoboScience Closes Another Funding Round as 360's Strategic Arm Backs Its Push Into Logistics and Retail Robots Security Anthropic Tells Investors It May 'Imminently' Cross Its Recursive Self-Improvement Threshold — and Might Only Notice After It Happens AI Agents Trajectory Raises 45 Million Dollars From Sequoia and Nvidia to Let Nontechnical Experts Fine-Tune AI Models Business Salesforce Pays 2.7 Billion Dollars for Cresta in Its Second AI Contact-Center Acquisition This Fall

Altman Says the Model That Cracked Navier-Stokes Is the Next GPT, and It Is Coming Soon

Altman Says the Model That Cracked Navier-Stokes Is the Next GPT, and It Is Coming Soon

At ADIPEC 2026 in Abu Dhabi, Sam Altman said the internal model behind OpenAI's Navier-Stokes proof is the next-generation GPT and will ship soon. About 10,000 agents ran for four days with no hierarchy, exchanged 2.7 million messages and burned 130 billion tokens before GPT-6 Astra formalized the result in Lean. The capability claims are company-reported and not yet independently verified.

Sam Altman used the opening day of the ADIPEC 2026 energy conference in Abu Dhabi on November 2 to confirm one of the worst-kept secrets in AI: the internal model that produced OpenAI's proof construction for the Navier-Stokes equations is the company's next-generation GPT, and it will be released to the public soon.

The breakthrough itself was published on September 8, when OpenAI said its internal system had built a mathematical proof that a smooth, initially still fluid subjected to smooth external forces can develop a singularity in finite time while keeping total energy bounded — resolving formal cases C and D of the Millennium Prize Problem. The 165-page paper carried a single author line: OpenAI.

At the conference, Altman filled in how that result was actually produced. Around 10,000 agents powered by the upcoming model ran continuously for about four days with no human steering, no orchestrator node and no hierarchy. Each agent picked its own research directions, shared progress with the others and learned from their findings. The core construction took about 88 hours, with roughly 2.7 million messages exchanged and about 130 billion tokens consumed. GPT-6 Astra then spent about 17 hours formalizing and verifying the proof in the Lean theorem prover.

He called it "one of the most incredible moments I have ever seen in AI history," and told the audience that AI is now, most of the time, already smarter than top scientists. He added that the same model family has been applied to designing new materials and new turbine geometries, and that the top token consumer six years ago used about 100,000 tokens a month while a single individual can now burn 500 billion — a five-million-fold increase. Energy, he said, remains the binding constraint on what comes next.

According to OpenAI, by October the system had generated 722 preprints touching more than 100 long-open problems, including work related to the Riemann zeta zeros, a full-dimensional resolution of the Kakeya conjecture, a refutation of the exponential time hypothesis and a proof of Yang-Mills existence.

Those claims deserve caution. They are company-reported figures, and the mathematical community has not finished verifying them. As we have reported before, the September Navier-Stokes announcement already drew pushback: Terence Tao amplified a call to boycott OpenAI over its mass-dumped proofs, and several mathematicians argued the company never demonstrated a real understanding of its own construction. The next GPT's public release will put those disputes in front of a much wider audience.

Sources: Reuters; Phoenix Tech; Tencent News; OpenAI statements at ADIPEC 2026.

Comments (0)

Log in to join the discussion

Log In

No comments yet