AI agents verify centuries-old math puzzle in record time
Anthropic's Claude AI system completed a formal proof of Fermat's last theorem in 11 days, converting the 1995 human proof into computer-checkable code. This task had been expected to take years, and the formalisation confirms the correctness of Andrew Wiles' original proof. The work was done using the Lean programming language, which allows machines to rigorously verify every logical step.
This summary is AI-generated and original to Mobble; the linked article is the authoritative source.
Original headline: “Fermat’s last theorem formalised by AI agents in just 11 days.” Browse more stories.