Unverified50% confidenceFactExact time
Solving the Navier-Stokes equations one month ago involved approximately 10,000 agents and took 88 hours.
1
Sources
50%
Confidence
Medium-term (~90 days)
Relevance
10/11/2026
First Seen
Valid until: 1/9/2027
Sources
Related Entities
Related Claims
VerifiedOpenAI announced that approximately 10,000 AI agents spent roughly 88 hours finding a proof related to the Navier-Stokes equations problem.75% similarUnverifiedOpenAI's Navier-Stokes proof was allegedly completed by an internally unreleased model, running approximately 10,000 AI agents in parallel, taking 88 hours, producing a 166-page manuscript, and releasing a Lean formal verification.71% similarUnverifiedOpenAI used thousands of agents to produce a proof attempt for the existence and smoothness problem of the Navier-Stokes equations within 88 hours.70% similarUnverifiedAfter adopting an independent Worker architecture with 12 parallel processes, the user completed nearly one million steps of data collection within 10 minutes.70% similarUnverifiedIn the survival game Arena experiment, approximately 100 agents working in parallel completed the task in about 20 minutes, whereas sequential execution would have taken several hours.69% similar
Cite This Claim
Stable URI
https://kongchang.com/claim/998295API
curl https://kongchang.com/api/v1/knowledge/claims/998295MCP
get_claim(id=998295)