Claude AI Converts Fermat’s Last Theorem Proof into Verifiable Code in 11 Days

Anthropic’s Claude AI completed the formalisation of the proof of Fermat’s last theorem in just 11 days, a task that had been expected to take years. The project required translating the complex mathematical proof into a format that computer systems can automatically check for correctness. By doing so, the AI demonstrated a new level of efficiency in converting human‑written proofs into machine‑readable code. The achievement shows that advanced language models can handle intricate logical structures and produce reliable, verifiable outputs. This rapid conversion could streamline the verification process for future mathematical discoveries and reduce the time mathematicians spend on formalising proofs.