Anthropic AI ‘formalizes’ proof of Fermat’s last theorem in just 11 days

Claude produced a 13-million-line, computer-checked proof of the famed conjecture — a major milestone in mathematics.

Continue in Briflio to read, react, comment, and share.