Claude formalizes Fermat’s Last Theorem in 11 days
Anthropic says its Claude artificial intelligence system has produced a fully computer-checked version of Fermat’s Last Theorem. Pierre de Fermat first proposed the theorem in 1637, while Andrew Wiles published the first