AIToday
Large Language ModelsAI Safety & AlignmentLatent SpacePublished: Sep 9, 2026, 16:00 JST1 min read

OpenAI claims Navier-Stokes solution found by 10,000 agents

OpenAI claims Navier-Stokes solution found by 10,000 agents

3 Key Points

  1. What happened

    OpenAI announced a solution to the Navier-Stokes Millennium Prize Problem, produced by agents using a next-generation model significantly more capable than GPT-6 Astra.

  2. Why it matters

    This challenges the belief that frontier AI cannot do serious research, moving from benchmark scores to real-world cognitive labor decomposition at scale.

  3. What to watch

    The proof is not yet verified by the math community, so acceptance hinges on a theorem statement, full proof, and expert vetting.

WHO IT HITSThis news affects research scientists and mathematicians who must verify the proof, plus AI labs and startups that may now need to consider massive inference-time compute and agent orchestration as a core strategic direction.

Ask the AI about this article →

Summaries like this, in your inbox every morning.

Context & Analysis

The announcement comes amid a series of major AI product launches, including Meta's Muse agent and OpenAI's Image 2.5. However, the Navier-Stokes claim dominates due to its symbolic weight.

Ethan Knight's disclosure describes a research system architecture focused on scale: approximately 10,000 agents, trained over a year using multi-agent RL, and run with large amounts of unstructured parallel test-time compute. This is less about fluid mechanics and more about a new approach to frontier research.

If the claims hold, it may indicate a shift from training-time scaling to inference-time scaling. However, the lack of artifacts raises questions about reproducibility, and the exact role of humans versus models in the proof remains unclear, highlighting the importance of provenance in such a high-stakes mathematical claim.

FAQ
Who said the solution involved 10,000 agents?
Ethan Knight said the solution was a collaboration of ~10,000 agents working together.
What is the status of the proof's acceptance?
Acceptance by the math community is unresolved; no theorem statement, preprint, or proof sketch appears in the tweets.

Get the latest Large Language Models news every morning

For example, today's edition would include:

  • OpenAI's Tibo Flags Possible Pause on Pro Sign-upsITmedia AI+ · 58m ago
  • Meta's Muse agent launch could be the opposite of OpenAI's math featStratechery (Ben Thompson) · 58m ago
  • Conveo raises $50M to use AI for product insights, tackling Steve Jobs' focus group critiqueFortune AI · 58m ago

AI-summarized, only the topics you pick — one digest a day via Email, Slack, or Discord.

Free · 30 seconds with Google · unsubscribe anytimeWhat is AIToday? →

Ask AI

Ask AI anything about this article. Q&As are published on this page for other readers too.

Related Articles

Next articleGPT-6 Astra beats GPT-5.6 Sol on no-CoT multihop reasoning