Respect where respect is due: Anthropic says Claude completed the first fully computer-checked proof of Fermat’s Last Theorem in 11 days

Summary

Respect where respect is due: Anthropic says Claude completed the first fully computer-checked proof of Fermat’s Last Theorem in 11 days. Andrew Wiles proved the theorem in 1995. Claude’s achievement was turning an existing proof into a form where a computer can check every… https://t.co/FcRbJn5GYb pic.twitter.com/OOdfoI2AZD