刚刚，Claude用11天完成费马大定理验证，清华姚班校友带队

📋总体概括

Anthropic旗下大模型Claude据称仅用11天完成了费马大定理的验证工作，该项目由清华姚班校友带队。费马大定理自1637年提出，历经358年才由怀尔斯于1995年完成完整证明，是数学史最难问题之一。AI若真可对这类顶级数学成果进行机器验证，意味着形式化数学与AI推理能力迈上新台阶，对数学研究与证明辅助工具生态具有重要标志性意义。