Claude Writes 13M Lines of Code to Prove Fermat's Last Theorem
Anthropic's Claude spent 11 days converting a 350-year-old math problem into the longest machine-verifiable proof in history.
Advertising disclosure: we may earn a commission when you join an operator via links on this page, at no cost to you. This never dictates our ratings. How we make money
Key takeaways
- Anthropic says Claude spent 11 days generating the longest mathematical proof ever written.
- The output contains 13 million lines of machine-checkable code solving Fermat's Last Theorem.
- Computers can verify the entire logic autonomously without relying on human trust.
Anthropic’s Claude AI spent 11 days translating a 350-year-old math problem into 13 million lines of code. What came out is the longest mathematical proof ever written.
Eliminating the human element
Fermat's Last Theorem stumped mathematicians for centuries until Andrew Wiles published his famous proof in the 1990s. But human-written proofs carry baggage. They are massive, dense, and vulnerable to subtle mistakes, requiring years of peer review by top experts just to verify.
Claude took an entirely different route. Over 11 days, the AI converted the theorem's complete mathematical logic into machine code. A computer can now verify all 13 million lines on its own. No mathematician needs to read it. No trust required.
Why it matters
Trustless verification is the whole point of modern crypto. Smart contracts and zero-knowledge proofs work because they depend on mathematical certainty, not human promises. An AI that outputs millions of lines of machine-verifiable code holds massive possibilities for Web3. Eventually, developers could run these exact setups to mathematically guarantee smart contract security—wiping out bugs and exploits before a single token ever goes live.
Source: Decrypt
Top Crypto Casinos Right Now
🇺🇸 Showing sites that accept players from United States Change country
Advertising disclosure: we may earn a commission when you join an operator via links on this page, at no cost to you. This never dictates our ratings. How we make money
More info Less info
Why we chose it: A US-facing book that pays a premium for crypto deposits: 125% against 100% for cash, with fee-free deposits across five coins.
- Payout time
- Within 24 hours (crypto)
- KYC
- Required
Restricted countries: Australia, Afghanistan, Bulgaria, Central African Republic, Congo - Brazzaville, Eritrea, France, Guinea-Bissau and 16 more.
More info Less info
Why we chose it: BetNow's casino floor with the biggest match bonus we list. The 200% headline deserves a careful read of the code terms behind it.
- Payout time
- Within 24 hours (crypto)
- KYC
- Required
Restricted countries: Australia, Afghanistan, Bulgaria, Central African Republic, Congo - Brazzaville, Eritrea, France, Guinea-Bissau and 16 more.
More info Less info
Why we chose it: A US-oriented casino that turns away only New Jersey. The cashier takes crypto, but the site publishes fewer specifics than any operator we list.
- KYC
- Required
Restricted countries: New Jersey (US).
Daniel Okoro
Daniel tracks crypto regulation and policy across the US, EU and Asia, with a decade in financial journalism.
