Anthropic AI ‘formalizes’ proof of Fermat’s last theorem — a milestone for mathematics

[John Clark]

The following article was in the September 7, 2026 issue of the journal Nature: 

Claude produced a computer-checked proof of Fermat’s last theorem in just 11 days.

A quote from the above: 

"The fact that a machine could turn the work of human mathematicians into a 13-million-line-long, ironclad proof “just completely blew my mind "

John K Clark    See what's on my list at  Extropolis

cgp