bluesky — A.Hejazi — 17 Sep 2026
Anthropic says Claude translated a proof of Fermat's Last Theorem into Lean.
#ai-mathematics #formal-verification #proof-formalization
Anthropic says Claude translated a proof of Fermat's Last Theorem into Lean.
Lean is a computer program mathematicians use to check proofs.