Unverified50% confidenceEventExact time
OpenAI launched 10,000 agents on September 1 and within days preemptively provided a counterexample for a more complex equation.
1
Sources
50%
Confidence
Medium-term (~90 days)
Relevance
9/18/2026
First Seen
Valid until: 12/17/2026
Sources
Related Entities
Related Claims
UnverifiedThe OpenAI agent arrived at a solution to the Navier-Stokes problem on September 5, approximately 88 hours after the first agents were launched, with Lean formal verification taking an additional 17 hours to complete via GPT-6 Astra.66% similarUnverifiedOpenAI announced that approximately 10,000 AI agents spent roughly 88 hours finding a proof related to the Navier-Stokes equations problem.63% similarUnverifiedOpenAI内部实验中，5个月内由3名工程师驱动Codex，在空仓库生成约100万行代码，合并约1500个PR，平均每位工程师每天3.5个PR62% similarUnverifiedAfter discovering it was falling behind in features, OpenAI Codex completed two key technical catch-ups in just 11 days.60% similarUnverifiedOpenAI's o1 series models employ a slow-thinking strategy, with thinking time reaching up to tens of seconds.59% similar
Cite This Claim
Stable URI
https://kongchang.com/claim/931591API
curl https://kongchang.com/api/v1/knowledge/claims/931591MCP
get_claim(id=931591)