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.
Mathematics
Explore Mathematics through related topics and the articles other pages reference most.
Explore articles
Browse subtopics: Anthropic
Articles that also belong to these categories. Counts cover all of Mathematics.
All articles (82)Machine Learning (48)Statistics (14)Deep Learning (11)AI for Science (10)Training & Optimization (9)AI Research (6)Google DeepMind (5)Reinforcement Learning (5)AI Benchmarks (4)Computer Science (4)Algorithms (3)Generative AI (3)Large Language Models (3)Natural Language Processing (3)Neural Networks (3)AI Agents (2)AI Ethics (2)AI Tools & Products (2)Chinese AI (2)Developer Tools (2)Information Retrieval (2)Open Source AI (2)People (2)Programming Languages (2)AI Hardware (1)AI History (1)AI Incidents & Controversies (1)AI Infrastructure (1)AI Policy & Regulation (1)Anthropic (1)Artificial Intelligence (1)ChatGPT (1)Computer Vision (1)Data & Datasets (1)Google (1)Interpretability (1)OpenAI (1)Reasoning Models (1)Robotics (1)Software Development (1)
Showing 1-1 of 1 article