[ExI] 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.* <https://www.nature.com/articles/d41586-026-02822-9>

*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
<https://groups.google.com/g/extropolis>*
cgp
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.extropy.org/pipermail/extropy-chat/attachments/20260912/1e34a952/attachment.htm>