Unverified50% confidenceEventExact time
Anthropic's Claude has completed the first formal proof of Fermat's Last Theorem.
1
Sources
50%
Confidence
Long-term
Relevance
9/13/2026
First Seen
Sources
Related Entities
Related Claims
UnverifiedAnthropic announced that dozens of Claude agents, with the help of the Proof-2 platform, completed the first end-to-end machine-verifiable proof of Fermat's Last Theorem in 11 days.70% similarUnverifiedWhat Claude accomplished this time was the formalization and translation of Fermat's Last Theorem, not an original mathematical discovery.66% similarUnverified蒂博尔·加莱于1944年给出了该定理的第一个正确证明63% similarUnverifiedMathematician Coxeter called Kelly's proof "a proof from The Book."63% similarUnverifiedLogic Theorist successfully proved 38 theorems from Principia Mathematica.61% similar
Cite This Claim
Stable URI
https://kongchang.com/claim/919123API
curl https://kongchang.com/api/v1/knowledge/claims/919123MCP
get_claim(id=919123)