美股 Claude完成费马大定理首个完整形式化证明

费马大定理美股，终于有了一份能由计算机从头检查到尾的完整证明。 就在刚刚，Anthropic 声称，Claude 在 11 天内完成整个工程，写下约 1300 万行 Lean 代码，过程中人类只提供了

美股