OpenAI used ~10,000 AI agents to produce a claimed Navier-Stokes proof in 88 hours. Here is what the swarm actually shows, the caveats, and the builder's lesson.
Key takeaways
- OpenAI said a swarm of roughly 10,000 AI agents, on an unreleased internal model, produced a claimed Navier-Stokes proof in about 88 hours.
- The run exchanged nearly 3 million messages and used about 130 billion output tokens, which at OpenAI's own pricing implies a cost near $10 million.
- The result is unverified: it's unpublished, and the Clay Mathematics Institute still lists Navier-Stokes as unsolved. It resolves two of four required statements and doesn't qualify for the prize.
- A dispute over timing and credit is unresolved, involving concurrent work by other mathematicians; we report it neutrally and take no side.
- The builder's lesson: a big agent swarm can now generate a candidate result fast, but verifying it is the real bottleneck, which is where evaluation and reproducibility come in.
📖 Read the full guide on Van Data Team → OpenAI's Navier-Stokes AI Agent Swarm: What It Shows
Top comments (0)