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

📋总体概括

据媒体报道，Anthropic的Claude在11天内完成了费马大定理证明的验证工作，项目由清华姚班校友带队。费马大定理于1637年提出，困扰数学界300余年，直到1995年才由英国数学家安德鲁·怀尔斯给出首个完整证明。此次AI验证怀尔斯证明的速度远超人工审阅周期，标志着大模型开始具备参与前沿数学论证审查的能力，成为AI进入基础数学研究的标志性事件。