Science & ResearchSep 7, 2026
Anthropic AI ‘formalizes’ proof of Fermat’s last theorem in just 11 days
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.
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.
Sign in to learn & save →
The frontier is open to all. Sign in to learn this from first principles and save it to your knowledge base.