Anthropic AI ‘formalizes’ proof of Fermat’s last theorem — a milestone for mathematics
What happened
Nature, Published online: 07 September 2026; doi:10.1038/d41586-026-02822-9 Claude produced a 13-million-line, computer-checked proof of the famed conjecture in just 11 days.