刚刚，Claude首次证明费马大定理！清华姚班大神出手了 **新智元报道** 就在刚刚，数学圈又有惊人消息。 清华姚班大神带队，用Claude彻底攻克了费马大定理。 至此，AI完成了数学史上最大证明。 曾经，费马大定理折磨了人类350多年，需要数学家耗费数年心血，写下129页天书才能证明。 今天，Anthropic却宣布，Claude仅用11天，就完成了费马大定理的首个端到端机器验证证明！ 为此，Claude疯狂敲了1300万行代码，产出了30300条可验证定理，最后有29500条被采用，直接进了最终证明。 这个体量，是全球最大数学定理库Mathlib的5倍还多！而且，整个过程烧掉了足足60亿Token。 这是迄今为止编写的最大的 Lean 证明。 消息一出，全网震动。有人惊呼：「一个月就把费马大定理形式化了？这种秀肌肉方式，让数学界看起来像蜗牛在爬。」 姚班大神彭天翼 350年的世纪难题，Claude 11天解决** 1637年，法国数学家费马看书的时候，随手在书页空白处写了句： 当整数n > 2时，关于x, y, z的方程 xⁿ + yⁿ = zⁿ 没有正整数解。、 然后他还不忘补