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

📋总体概括

AI模型Claude被报道用11天完成了费马大定理的形式化验证，团队由清华姚班校友带领。费马大定理自1637年提出，悬置三百余年，直到1995年才由英国数学家安德鲁·怀尔斯给出首个完整证明，历时多年。此次AI在11天内完成对该定理的验证，若属实，意味着AI已能承担顶尖数学成果的机器形式化校验工作，大幅压缩验证周期，是AI数学能力从辅助走向深度参与的标志性事件。