Verified80% confidenceEventExact time
OpenAI announced that approximately 10,000 AI agents spent roughly 88 hours finding a proof related to the Navier-Stokes equations problem.
6
Sources
80%
Confidence
Medium-term (~90 days)
Relevance
9/11/2026
First Seen
Valid until: 12/10/2026
Sources
Related Entities
Related Claims
UnverifiedOpenAI'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.78% similarUnverifiedPowerful AI agents executing complex tasks often require about ten minutes rather than a few seconds.70% similarUnverifiedThe OpenClaw platform supports AI Agents dynamically hot-loading new Skills at runtime through text instructions; the entire loading process takes only a dozen or so seconds without requiring a restart or redeployment.69% similarUnverifiedThe Onyx project had 120 automated research agents discover a physical model for a robotic actuator within 1.5 hours, completing research work that traditionally takes weeks.69% similarUnverifiedOpenAI engineers have successfully completed large-scale refactoring tasks exceeding 10 hours using plans.md with Codex66% similar
Cite This Claim
Stable URI
https://kongchang.com/claim/896211API
curl https://kongchang.com/api/v1/knowledge/claims/896211MCP
get_claim(id=896211)