Lean

Anthropic says Claude wrote first computer-verified proof of Fermat’s Last Theorem

Anthropic announced on Thursday that its AI model Claude has completed the first end-to-end, computer-checked proof of Fermat's Last Theorem, one of the most celebrated results in mathematics. Working largely autonomously over 11 days, Claude wrote the proof in the…