Anthropic Says Claude Produced Full Proof of Fermat’s Last Theorem, Verified With Lean - bloomingbit
9/10Anthropic claims that its Claude AI produced a complete proof of Fermat’s Last Theorem, which was then formally verified using the Lean theorem prover. This achievement demonstrates Claude's advanced capabilities in formal mathematical reasoning and symbolic AI.
