资讯
刚刚，Claude用11天完成费马大定理验证，清华姚班校友带队
📋总体概括
据APPSO报道，一支由清华姚班校友带队的团队利用Claude完成费马大定理验证，耗时11天。费马大定理是1637年费马提出的著名猜想，历经350多年，直到1995年才由英国数学家安德鲁·怀尔斯给出首个完整证明，其证明耗时多年且极其复杂。如今AI在11天内完成对该定理的验证工作，成为大模型在高端数学推理任务上的一次标志性展示，也引发了关于AI能否真正参与乃至推动数学研究前沿的讨论。
⚡关键信息
- ▸Claude用11天完成费马大定理验证，团队由清华姚班校友带队
- ▸费马大定理1637年提出，历经350多年悬而未决
- ▸1995年怀尔斯完成首个完整证明，耗时多年，是二十世纪数学里程碑
- ▸AI参与顶级数学问题验证，被视为大模型数学推理能力的新节点
🔥犀利点评
先泼盆冷水：怀尔斯的证明依托谷山-志村猜想等庞大理论体系，「验证」和「证明」是两码事。如果只是让AI核对或复现已有证明，11天更多是大模型长程推理能力的跑分，而非数学突破。真正值得盯的是细节：Claude到底做了什么、可验证性如何、结果有没有经人类数学家复核。标题里最值钱的不是11天，而是姚班背景团队已在系统性押注AI做数学这件事本身。
📰 相关资讯（与本文相关的其他资讯）
公司Archer Launches ‘No Roads’ Flight Tour Ahead of LA28 and U.S. eVTOL Pilot Program🔥8.0
eVTOLInsights·2026/9/4
产品Amprius Unveils 500 Wh/kg Battery Cell for Long-Endurance Aviation🔥8.0
eVTOLInsights·2026/9/4
创新Elroy Air Completes First Autonomous Cargo Flights Under FAA eVTOL Program🔥8.0
eVTOLInsights·2026/9/3
市场US tariffs of up to 100% on imported drones take effect🔥8.0
AeroTime·2026/9/3
本文由本站自动聚合，以下为原始来源：前往 虎嗅 阅读全文 →