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

September 7, 2026 · 12:00 am 1 sources

Image: Nature

Coverage

Wires & papers of record

• Anthropic AI ‘formalizes’ proof of Fermat’s last theorem in just 11 days
  Nature · September 7, 2026 00:00
  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 — a major milestone in mathematics.