IT之家（RSS）·2026-09-05 07:20· 2026-09-05AI 评分83Anthropic 宣布 Claude 用 11 天完成费马大定理首个端到端形式化证明Anthropic：Claude 仅用 11 天完成费马大定理首个完整计算机验证证明AI 导读Anthropic 于 9 月 4 日宣布，Claude 在基本自主运行 11 天后，完成费马大定理首个端到端、经计算机检查的 Lean 形式化证明。另有 3 家信源报道整理与数据来源：AIHOT来源：IT之家（RSS） · ithome.com#Agent#Anthropic#开源生态#推理#模型发布查看事件全部后续