Claude 完成 Fermat 大定理的首个全机器校验形式化证明

Respect where respect is due： Anthropic says Claude completed the first fully computer-checked proof…

Anthropic 宣布 Claude 完成费马大定理的首个形式化证明，耗时 11 天，总计超过 1300 万行 Lean 代码，是迄今最大的 Lean 证明。

Claude 完成 Fermat 大定理的形式化证明，生成超 1300 万行 Lean 代码

Checking that a major mathematical proof is correct can take years. Formalization—converting the mat...

Anthropic 宣布 Claude 上月完成了 Fermat 大定理的首个形式化证明，这是迄今最大的 Lean 证明。