Claude produced a 13-million-line, computer-checked proof of the famed conjecture — a major milestone in mathematics.
Anthropic published the first complete computer-checked formalization of Fermat’s Last Theorem on September 4, 2026, after ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results