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-9Claude 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-9Claude produced a 13-million-line, computer-checked proof of the famed conjecture — a major milestone in mathematics.
What's Your Reaction?
SIN
ScienceX Information Network (SIN) | ScienceX Innovations
