fermat's last theorem

Fermat's Last Theorem appears on WindowsForum.com mainly through discussion of how modern proof tools and AI agents handle established mathematics. The tagged content examines Anthropic's claim that Claude agents produced a complete Lean formalization of Fermat's Last Theorem, framing the result as a large, machine-checkable software artifact rather than a new mathematical discovery. Coverage notes that the theorem itself was proved in the 1990s by Andrew Wiles and the Taylor-Wiles work, so the interest lies in verification, formalization, and multi-agent AI assembling an end-to-end proof account at scale. The thread also raises questions about what independent examination of such a released project would really demonstrate.