Verification

Claude industrialises verification of Fermat's Last Theorem

Anthropic claims an agent system worked for eleven days to produce the first complete formalisation of Fermat's Last Theorem in Lean. The result does not discover new mathematics, but converts a monumental proof into an object that a verifier can accept or reject step by step.