已验证80% 置信事件精确时间
OpenAI宣布约一万个AI代理花费大约88小时，找到了一份与纳维-斯托克斯方程相关难题的证明
6
来源数
80%
置信度
中期 (~90 天)
时效性
2026/9/11
首次发现
有效期至：2026/12/10
来源
涉及实体
相关事实
待验证OpenAI的纳维-斯托克斯证明据称由内部未发布模型完成，运行时并行使用约1万个AI智能体，耗时88小时，产出一份166页手稿并发布Lean形式化验证78% 相似待验证强大的AI代理执行复杂任务往往需要约十分钟而非几秒70% 相似待验证OpenClaw平台支持AI Agent在运行时通过文本指令动态热加载新的Skill，整个加载过程仅需十几秒，无需重启或重新部署69% 相似待验证Onyx项目让120个自动化研究智能体在1.5小时内为一个机器人执行器发现物理模型，完成传统需数周的研究工作69% 相似待验证OpenAI engineers have successfully completed large-scale refactoring tasks exceeding 10 hours using plans.md with Codex66% 相似
引用此条事实
Stable URI
https://kongchang.com/claim/896211API
curl https://kongchang.com/api/v1/knowledge/claims/896211MCP
get_claim(id=896211)