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

Anthropic says Claude formalized Andrew Wiles’ proof of Fermat’s Last Theorem in 11 days, producing 13 million lines of Lean code.