Anthropic的Claude在11天内重写费马最后定理

Anthropic的Claude在短短11天内完成了人类花费358年才解决的费马最后定理的重写。该定理最早于1637年在一本书的边缘被记录，并附有证明无法适合的注释。人类直到1994年才解决此定理，但当时的证明复杂到几乎没有人能完全验证。Claude将整个证明重写为1300万行代码，计算机可以自行验证，且在不到两周的时间内完成。现在，整个证明已公开，任何人都可以逐行检查。