资讯
刚刚，Claude用11天完成费马大定理验证，清华姚班校友带队
📋总体概括
据APPSO报道，Anthropic的Claude模型在约11天内完成了对费马大定理相关验证工作，项目由清华姚班校友带队。费马大定理自1637年被提出，历经350余年，直到1995年才由安德鲁·怀尔斯给出完整证明。若报道属实，这标志着AI在处理高度抽象数学任务上的能力跃升，从辅助工具向独立完成复杂数学推理迈进，也为数学研究范式带来新想象。
⚡关键信息
- ▸报道称Claude用11天完成费马大定理验证，项目由清华姚班校友带队
- ▸费马大定理1637年提出，怀尔斯1995年才完成首个完整证明，历时约350年
- ▸此前人类顶级证明耗时多年，AI用11天完成验证形成鲜明对比
- ▸报道源为微信公众号APPSO，属AI前沿动态消息
🔥犀利点评
注意措辞是「验证」而非「证明」——复算怀尔斯的证明和从零发现新证明是两码事，前者考验的是超长程推理与形式化执行能力，后者才是真正的数学创造力。但别小看这11天：能不掉链子地走完数百页推理链条，本身就是对大模型可靠性的极限压力测试。姚班校友带队也再次印证，前沿AI竞争的核心人才池早就高度重合。真正的分水岭是AI哪天独立发现人类没见过的证明，在那之前，先别急着给数学家发下岗通知书。
📰 相关资讯（与本文相关的其他资讯）
本文由本站自动聚合，以下为原始来源：前往 虎嗅 阅读全文 →