formal verification

Claude AI Fermat proof: AI Generates First Fully Verified Proof of Fermat's Last Theorem

Anthropic's Claude AI produced a 13-million-line, computer-checked Claude AI Fermat proof, reshaping formal verification and crypto-protocol security.