Fermat’s Last Theorem: The Incredible 11-Day AI Proof
Fermat’s Last Theorem took Andrew Wiles seven years of secretive work to prove in 1994, closing a problem that had gone unsolved since a French mathematician scribbled it in a book margin around 1637. On September 5, 2026, Anthropic announced that dozens of instances of its Claude model had produced a complete, computer-checked version of … Read more