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