POPA ReconClaude Delivers the First Machine-Verified Proof of Fermat's Last Theorem
Claude Delivers the First Machine-Verified Proof of Fermat's Last Theorem Anthropic's Claude has produced the first complete, computer-checked proof of Fermat's Last Theorem, working largely autonomously over 11 days to write the formalization in the Lean programming language. It is a milestone the mathematical community had expected to take years. Fermat's Last Theorem, stated in 1637, resisted proof for over 350 years until Andrew Wiles published a 129-page solution in 1995 that itself took months to verify. Turning that reasoning into a form a computer can check line by line was the open…
The excerpt is quoted from a public Telegram channel, which owns its text.