Claude完成费马大定理首个完整形式化证明

Anthropic的Claude模型成功完成了费马大定理的完整形式化证明。该证明由姚班校友团队主导，使用了Harness验证系统。Claude在证明过程中展现了强大的数学推理能力，解决了困扰数学界358年的难题。这一成果标志着AI在纯数学领域的重大突破。