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

Claude turned a famous mathematical proof into millions of checkable code linesAnthropic says Claude completed years of expected work in 11 daysThe massive proof contains 13 million lines of Lean codeAnthropic has used its Claude artificial intelligence system to produce a fully computer-checked version of a famous, centuries-old mathematical...