Anthropic formalizes the proof of Fermat's Last Theorem with AI
jlebar · hn · 2026-09-05
Anthropic published research on machine-verifiable formalization of the proof of Fermat's Last Theorem — a notable milestone for AI-assisted formal mathematics, showing both the capabilities and limits of large models in formalizing long, complex proofs.
More from Research
- Bug Hunt Bench: 105 real bugs stress-test GPT-6, Claude, Grok, Gemini and more coding agents — PawelHuryn · 2026-09-05
- Many mathematicians value prestige over truth, discussion on AI proofs notes — avt_im · 2026-09-05
- eyebench author says no v4, moving on to harder benchmarks — adonis_singh · 2026-09-05
- After 8 months of digging, researcher says persona models fail in RL — BronsonSchoen · 2026-09-05
- Full Fruit Fly Connectome With 166,700 Neurons Runs Inside Minecraft, Driving a Fly's Movement — Dan_Jeffries1 · 2026-09-05
- Declarative Attention lets LLMs declare their own focus, cutting 52% of KV cache reads — eigenlaplace · 2026-09-05