Anthropic 宣布 Claude 用 11 天完成费马大定理首个端到端形式化证明

Anthropic 于 9 月 4 日宣布，Claude 在基本自主运行 11 天后，完成费马大定理首个端到端、经计算机检查的 Lean 形式化证明。