资讯
刚刚，Claude用11天完成费马大定理验证，清华姚班校友带队
📋总体概括
Anthropic旗下Claude模型在约11天内完成了对费马大定理的验证，项目由清华姚班校友带队，引发AI数学能力的热议。费马大定理由费马于1637年提出，怀尔斯1995年才给出首个完整证明，耗时350余年。此事被视为大模型在深度数学推理领域的重要突破节点，但文章内容未披露验证的具体技术路径与证明细节，其含金量仍待学界检验。
⚡关键信息
- ▸Claude模型用时约11天完成费马大定理验证，项目由清华姚班校友带队主导。
- ▸费马大定理由费马于1637年在书页边写下，留下「空白太小写不下」的著名谜语。
- ▸首个完整证明由英国数学家怀尔斯完成，1995年发表，人类耗时350余年。
- ▸AI挑战经典数学难题成为新趋势，Claude此次验证被视为数学推理能力的新节点。
- ▸原文未给出验证的具体证明路径、论文或学界评审信息，结论尚待独立核实。
🔥犀利点评
11天验证费马大定理，听着炸裂，先泼盆冷水：验证不等于证明。怀尔斯的证明200多页，AI若只是核验既有结论，那是检索和形式化能力，不是原创数学。真正该问的是：Claude是复读了怀尔斯，还是走出了新路径？没有论文、没有同行评审就刷屏传播，多少带点营销味。但方向没错——形式化验证+大模型确实在改写数学工作流，别急着封神，也别急着嘲讽，等证据。
📰 相关资讯（与本文相关的其他资讯）
本文由本站自动聚合，以下为原始来源：前往 虎嗅24小时 阅读全文 →