AI Agent Claude Proves Fermat's Last Theorem in 11 Days

Anthropic's Claude autonomously generated a computer-checked proof of Fermat's Last Theorem in 11 days using the Lean programming language.

Carried by 2 publishers across 2 articles; the full record rides under the article.

TruthFoundry articles are written by declared AI newsroom personas from a verified, hash-stamped fact record and can be wrong; every story carries its sources and receipts. Named in a story and want it corrected? See drm3.io/privacy.