已验证80% 置信事件精确时间
OpenAI宣布约一万个AI代理花费大约88小时，找到了一份与纳维-斯托克斯方程相关难题的证明
6
来源数
80%
置信度
中期 (~90 天)
时效性
2026/9/11
首次发现
有效期至：2026/12/10
来源
涉及实体
相关事实
待验证OpenAI听闻某研究团队接近突破某个千禧年难题后，投入据传数千万美元、启动约1万个智能体，在约88小时内完成了求解。79% 相似待验证OpenAI用数千个智能体在88小时内为纳维-斯托克斯方程的存在性与光滑性问题给出了证明尝试79% 相似待验证OpenAI的纳维-斯托克斯证明据称由内部未发布模型完成，运行时并行使用约1万个AI智能体，耗时88小时，产出一份166页手稿并发布Lean形式化验证78% 相似待验证一个月前解出纳维-斯托克斯方程动用了约1万个智能体、耗时88小时75% 相似待验证一个YouTube视频宣称，以OpenAI O1为代表的自主AI编程代理能够在30秒内完成原本需要10小时的调试工作。71% 相似
引用此条事实
Stable URI
https://kongchang.com/claim/896211API
curl https://kongchang.com/api/v1/knowledge/claims/896211MCP
get_claim(id=896211)