跨主题事件
Anthropic：Claude 多智能体 11 天完成费马大定理首个端到端机器可检证明（研究）
2026年9月5日2 篇报道
2026年9月5日
AI/Tech版面视角
Anthropic：Claude 多智能体 11 天完成费马大定理首个端到端机器可检证明（研究）
Anthropic 公布（官网日期 9 月 4 日；New Scientist 等 9 月 5 日跟进），Claude 在约 11 天内基本自主完成费马大定理（FLT）首个端到端、可由计算机完整检查的形式化证明：产出约 1300 万行 Lean 代码、逾 3 万条中间定理（终证采用约 2.95 万条），规模超过 Mat…
阅读当日日报 →
科学版面视角
Anthropic：AI 代理 11 天完成费马大定理 Lean 形式化机检证明（数学/AI）
Anthropic 9 月 4 日宣布，Claude 多智能体系统在约 11 天内完成费马大定理（FLT）端到端、可计算机检验的 Lean 形式化证明：约 1300 万行 Lean、约 2.95 万条中间定理，体积超过既有 Mathlib 库约五倍，被评为迄今最大 Lean 证明之一。证明遵循 Darmon–Diamo…
阅读当日日报 →