Anthropic uses AI to formalize Fermat's Last Theorem proof
Unique-Bake-5796 · reddit · 2026-09-05
Anthropic published research on using AI to formalize the proof of Fermat's Last Theorem, exploring how large language models can assist in formal proof environments like Lean and what this reveals about AI's capabilities in formal mathematics.
Related event: Claude Produces First Formalized Proof of Fermat's Last Theorem in 11 Days(52 posts)→
More from Research
- A real larva's connectome — 2,675 cells, 14,066 connections — now swims in a 3D simulation — eptwts · 2026-10-21
- Stanford's T2-z lets robots probe hidden physics with a poke, lifting success from 34% to 73% — stanfordnlp · 2026-10-21
- Fei-Fei Li team unveils FACT, a force-aware foundation model for robot dexterity — stanfordnlp · 2026-10-21
- Upcoming paper claims big models can handle latency-critical real-time robotics — ManlingLi_ · 2026-10-21
- NVIDIA open-sources Flora, a robotics data engine 125x cheaper than GPT-6 Astra — DrJimFan · 2026-10-21
- openRxiv explains its approach to AI amid growing researcher adoption — anshulkundaje · 2026-10-21