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
Anthropic AI ‘formalizes’ proof of Fermat’s last theorem in just 11 days
Shown as published in the source's RSS feed. IndiaAIFounders doesn't link out to third-party sites — this is the complete detail available from the feed itself.