Unverified50% confidenceEventExact time
OpenAI used thousands of agents to produce a proof attempt for the existence and smoothness problem of the Navier-Stokes equations within 88 hours.
1
Sources
50%
Confidence
Long-term
Relevance
10/6/2026
First Seen
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.79% similarUnverifiedOpenAI launched 10,000 agents on September 1 and within days preemptively provided a counterexample for a more complex equation.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.73% similarUnverifiedOpenAI内部实验中，5个月内由3名工程师驱动Codex，在空仓库生成约100万行代码，合并约1500个PR，平均每位工程师每天3.5个PR62% 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.62% similar
Cite This Claim
Stable URI
https://kongchang.com/claim/979944API
curl https://kongchang.com/api/v1/knowledge/claims/979944MCP
get_claim(id=979944)