Anthropic 'formalizes' Fermat's Last Theorem like never before using Claude — but it still took 11 days to write out

Anthropic has used its Claude artificial intelligence system to produce a fully computer-checked version of a famous, centuries-old mathematical proof. The proof addresses Fermat's Last Theorem, a hypothesis first proposed by the mathematician Pierre de Fermat back in the year 1637. Mathematician Andrew Wiles produced the very first full mathematical proof of the theorem back in 1995, spanning 129 pages total in length. Formalizing a proof simply means converting its mathematical reasoning into code that computers can check automatically without any human assistance.

First reported by TechRadar. This page is a short excerpt; the full text is theirs.