Anthropic ‘formalizes’ Fermat’s Last Theorem like never before using Claude — but it still took 11 days to write outmyappsplusSeptember 13, 2026 Anthropic has used its Claude artificial intelligence system to produce a fully computer-checked version of a famous, centuries-old mathematical proof.
