姚班校友主导，Claude攻克费马大定理证明

来源：Popyard

分类： 🔬 科教

发布时间：2026-09-05 00:00:00

声明：本文转载自「Popyard」，或因排版与篇幅原因进行过编辑，内容未经本站独立核实，不代表本站立场、观点或建议。如涉及版权问题，请联系我们，核实后立即删除。 [ 免责声明 ]

人类和费马大定理纠缠了三个半世纪，Claude这次只用了11天！？

刚刚，Anthropic宣布，Claude完成了首个端到端、可由计算机完整检查的费马大定理证明。

约1300万行Lean代码、超过3万个中间定理、最终证明使用其中约29500个。

整个工程规模，已经超过Lean核心数学库Mathlib的5倍。

这次Claude没有发现一个全新的费马大定理证明。

评论 (0)