待验证50% 置信事件精确时间
Anthropic宣布其AI模型Claude在很大程度上自主运行了11天，成功在Lean中形式化了费马大定理
1
来源数
50%
置信度
中期 (~90 天)
时效性
2026/9/12
首次发现
有效期至：2026/12/11
来源
涉及实体
相关事实
待验证OpenAI的纳维-斯托克斯证明据称由内部未发布模型完成，运行时并行使用约1万个AI智能体，耗时88小时，产出一份166页手稿并发布Lean形式化验证63% 相似待验证一年前AI模型每次只能可靠地持续工作几分钟，而如今Agent可以连续运行数小时62% 相似待验证OpenAI宣布约一万个AI代理花费大约88小时，找到了一份与纳维-斯托克斯方程相关难题的证明61% 相似待验证Onyx项目让120个自动化研究智能体在1.5小时内为一个机器人执行器发现物理模型，完成传统需数周的研究工作60% 相似待验证Anthropic推出Claude Reflect Beta，可分析用户过去1至12个月的AI使用主题、频率和任务类型59% 相似
引用此条事实
Stable URI
https://kongchang.com/claim/914384API
curl https://kongchang.com/api/v1/knowledge/claims/914384MCP
get_claim(id=914384)