Anthropic uploads machine-verified Lean 4 proof of Fermat's Last Theorem
Chris_Armstrong · x · 2026-09-05
Per accounts circulating on X, Anthropic has uploaded a Lean 4 formalization of Fermat's Last Theorem — translating one of mathematics' most legendary theorems into a fully machine-checkable proof. Details are described in Anthropic's official write-up.
Related event: Claude Produces First Formalized Proof of Fermat's Last Theorem in 11 Days(52 posts)→
More from Research
- Gemini Agents Crack 59-Year-Old Fusion Math Conjecture in Hours — DynamicWebPaige · 2026-10-21
- TrackEverything: CMU and Meta open-source a 3D tracker for all points in 1000+ frame videos — AdamWHarley · 2026-10-21
- Infantconnect: open-source infant brain anatomy and EEG connectivity tool from 1 to 72 months — Dr_Alex_Crimi · 2026-10-21
- Berkeley wins Schmidt Sciences HAVI grant to decode whale and parrot communication with AI — begusgasper · 2026-10-21
- Stanford CS336 Lecture 6: fused Triton kernels cut softmax memory traffic ~4x — stanfordnlp · 2026-10-21
- NVIDIA Cosmos3-H-Dreams: Generative Simulation Brings Clinical Surgery to Life — Hugging Face Blog · 2026-10-21