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
- Richard Socher: AI could compress a century of scientific breakthroughs into a decade — RichardSocher · 2026-10-21
- Startup Electric Plant builds an AI model to decipher plants' electrical signals — TechCrunch AI · 2026-10-21
- Eval researcher teases guide to subjective-task evals, with a curated resource list — cwolferesearch · 2026-10-20
- IIT Madras article splits LLM memory into five approaches and asks why belief revision is still missing — LimeOptimal539 · 2026-10-20
- Scholar writes AI-assisted book on storytelling values, work nominated for EMNLP best paper — _akpiper · 2026-10-20
- Google's T2J-Bench shows coding agents score just 0.676 migrating PyTorch repos to JAX — CShorten30 · 2026-10-20