Claude formalized Fermat's theorem proof in 11 days

The AI model Claude from Anthropic created a complete, computer-verifiable formalization of the proof of Fermat's Last Theorem — a task that the world's greatest mathematicians struggled with for years. The work took the model just 11 days and produced approximately 13 million lines of code in the Lean language. This is a breakthrough example of artificial intelligence applied to formal mathematics.

Similar stories

💻 Technology Anthropic: hackers from China, Russia and Yemen use Claude to build weapons Politico Europe · 2d ago 💻 Technology Anthropic: AI could boost GDP 32% but unemployment may hit 18% Rzeczpospolita · 3d ago 💻 Technology Sony Music and Warner sue Anthropic for training Claude on thousands of songs AntyWeb · 10d ago