Anthropic · 2026-09-04 · 研究成果

Claude completes first formalized proof of Fermat's Last Theorem原文

Anthropic said Claude completed the first formalized proof of Fermat's Last Theorem, converting the reasoning into a form Lean can verify.

这条更新涉及 2 条赛道的 2 项工作，最高采信到 L2 部分自动化。

它涉及的工作

级别高的在前。点开一项工作，查看推动它的其他更新。