Claude AI 实现费马大定理形式化证明，展现自主推理新高度

据 Anthropic 透露，Claude AI 于9月4日成功完成首个经过计算机逐行验证的费马大定理形式化证明，生成代码总量达1300万行，具备完全可追溯性与逻辑严谨性。该成果在11天内由模型自主推进完成，显著超越伦敦帝国理工学院自2024年起开展的人工主导项目进度。

数学逻辑基础稳固，获权威专家确认可信赖

该项目负责人、数学家 Kevin Buzzard 对生成结果进行了系统审查，确认该证明仅基于数学中最基本的公理体系，未引入额外假设或非标准推导，因此具备极高的可信度与可验证性。