Claude generates complete machine proof for historical mathematical theorem

Anthropic announced that its Claude model successfully translated Andrew Wiles' proof of Fermat's Last Theorem into code that computers can verify. The system spent eleven days completing the formalization, marking a breakthrough for automated mathematical reasoning.