OpenAI says 10,000 concurrent agents tackled Navier–Stokes, result in 88 hours
HotFlamingo9653 · reddit · 2026-09-20
Per OpenAI, roughly 10,000 concurrent agents worked on the Navier–Stokes problem, exploring different approaches and exchanging millions of messages. The result reportedly came 88 hours after launch, with Lean formalization and verification taking another 17 hours.
The author digs into the hard part of multi-agent systems at scale: deduplicating work, tracking contradictory assumptions and dead ends, maintaining a shared record of what's proven vs. plausible, and deciding when to merge branches. They describe their smaller-scale experiment apodex, which kept separate branches (math history, formal verification, competing interpretations, Clay requirements) and tried to consolidate findings into one coherent analysis.
They ask builders: is the biggest bottleneck delegation, shared memory, evaluating intermediate work, or merging conflicting branches?
Related event: Report: OpenAI Used ~10,000 Agents to Tackle Navier–Stokes(2 posts)→
More from coding & agent
- MCP memory server with per-app revokable grants instead of shared tokens — EntrepreneurOk5764 · 2026-11-04
- 'Evals are fuzzy unit tests': Tejas Kumar's AI Engineer talk on evals gets peer recommendation — TejasKumar_ · 2026-11-04
- SOMA hits 1,000 downloads: Claude Code designs a bookshelf in CAD, self-checks its work — Lazar988 · 2026-11-04
- Document extraction past the POC: layout drift breaks pipelines, and parser model swaps add reprocessing pain — Mission-Leave-6551 · 2026-11-04
- SpecJudge author argues LLM-as-judge tools should never ask models for self-reported confidence — jokiruiz · 2026-11-04
- SOMA, the Claude Code CAD app, passes 1,000 users with a 9-minute bookshelf design walkthrough — Pr8tham · 2026-11-04