Anthropic’s Claude Completes Computer-Checked Fermat’s Last Theorem Proof

Anthropic’s AI model Claude autonomously produced the first complete computer-checked proof of Fermat’s Last Theorem in Lean over 11 days.