Tag: Lean

Anthropic Says Claude Formally Verified Fermat’s Last Theorem in Lean

• Rosario Fortugno
• September 5, 2026