Formalization of Fermat's Last Theorem (Anthropic, 2026)
The formalization of Fermat's Last Theorem is a complete, machine-checked proof of Fermat's Last Theorem (FLT) in the Lean 4 proof assistant that Anthropic published on September 4, 2026.
Anthropic
Explore Anthropic through related topics and the articles other pages reference most.
Explore articles
Browse subtopics: Mathematics
Articles that also belong to these categories. Counts cover all of Anthropic.
All articles (110)Large Language Models (31)AI Models (28)AI Tools & Products (21)AI Safety (16)AI Agents (14)Developer Tools (10)AI Research (9)Interpretability (8)People (7)AI Alignment (6)AI Policy & Regulation (5)AI for Science (5)Artificial Intelligence (5)Enterprise AI (5)Reasoning Models (4)AI Code Generation (3)AI Companies (3)AI Incidents & Controversies (3)AI Infrastructure (3)Natural Language Processing (3)AI Ethics (2)AI Inference (2)Information Retrieval (2)Open Source AI (2)Data Centers (1)Defense AI (1)Drug Discovery (1)Education AI (1)Finance AI (1)Generative AI (1)Google (1)Machine Learning (1)Mathematics (1)Model Evaluation (1)Multimodal AI (1)OpenAI (1)
Showing 1-1 of 1 article