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 completes first formal proof of Fermat's Last Theorem in Lean(23 posts)→
More from Research
- VeriPhy: agentic physical reasoning framework for world model evaluation — Wenzhuo Xu · 2026-09-05
- TRACES agent benchmark grades live execution loops, not answers — SucceededMind · 2026-09-05
- Pedro Domingos quips: 'new idea' called RNNs will power next-gen LLMs — pmddomingos · 2026-09-05
- LoRA Creator Edward Hu Publishes Guide on Post-Training Open-Source Models with RL — iamrobotbear · 2026-09-05
- Amid CoT monitoring buzz, one video offers a glimpse into how LLMs actually think — kastnerkyle · 2026-09-05
- Multi-agent debate can make models dumber: ICML paper identifies sycophancy failure modes — ghadfield · 2026-09-05