Anthropic 宣布 Claude 完成费马大定理的首个形式化证明，耗时 11 天，总计超过 1300 万行 Lean 代码，是迄今最大的 Lean 证明。
论文
·X：Kim (@kimmonismus)
Claude 完成 Fermat 大定理的首个全机器校验形式化证明
— Respect where respect is due： Anthropic says Claude completed the first fully computer-checked proof…