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

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

AI HOT 详情：https://aihot.virxact.com/items/cmtnl720f03ofroqsqcvoyl3o

原文链接：https://www.ithome.com/0/998/638.htm