Anthropic公布Claude最新科研成果：11天完成费马大定理计算机验证形式化证明

Anthropic最新披露，Claude已完成费马大定理的完整计算机验证形式化证明。该模型主要自主工作约11天，将相关数学证明转换为Lean语言，并通过形式化验证系统检查。

费马大定理最早由Andrew Wiles在1995年完成证明，而此次工作的重点不是重新发现定理，而是把复杂数学推理转化为计算机可以逐步验证的形式。

这一进展说明，AI的应用正在从写作、编程和信息整理继续延伸到数学研究、形式化证明和科学计算等更专业场景。