Unverified50% confidenceEventExact time
Anthropic completed the formal verification of the complete proof of Fermat's Last Theorem.
1
Sources
50%
Confidence
Medium-term (~90 days)
Relevance
9/6/2026
First Seen
Valid until: 12/5/2026
Sources
Related Entities
Related Claims
UnverifiedFormal verification reduces proof checking to a fully mechanized type-checking process through the Curry-Howard correspondence.67% similarUnverifiedFormal verification provides the only objective criterion for determining the correctness of AI-generated proofs66% similarUnverifiedThe key to judging whether news of an AI mathematical breakthrough is true or false lies in whether the chain of evidence is complete and reproducible; one should check three aspects: the original prompt, the complete proof, and the formal verification record.66% similarUnverifiedFormal verification tools such as Lean and Coq can be used to verify complete mathematical proofs generated by AI, thereby guaranteeing their correctness in a mathematical sense.64% similarUnverifiedFormal proof systems (such as Lean, Coq, and Isabelle) require every reasoning step to conform to a predefined axiomatic system and be mechanically verified by computer63% similar
Cite This Claim
Stable URI
https://kongchang.com/claim/865929API
curl https://kongchang.com/api/v1/knowledge/claims/865929MCP
get_claim(id=865929)