数学家们彻底被AGI解放了～

Claude彻底完成了费马大定理的形式化验证。

曾经，费马大定理折磨了人类350多年，需要数学家耗费数年心血，写下129页天书才能证明。

今天，Anthropic却宣布，Claude仅用11天，就完成了费马大定理的首个端到端机器验证证明！

为此，Claude疯狂敲了1300万行代码，产出了30300条可验证定理，最后有29500条被采用，直接进了最终的形式化证明。

这个体量，是全球最大数学定理库Mathlib的5倍还多！而且，整个过程烧掉了足足60亿Token。