Automating Mathematical Proof: AI Advances and the Future of Math
tobyordoxford · x · 2026-08-23
Toby Ord observes that while symbolic manipulation was automated over the last decades, we may now be witnessing the automation of mathematical proof. However, he notes that mathematics involves much more than just proof, with significant work remaining at higher levels.
Related event: Toby Ord: AI Automates Proof, but Math Is Much More(9 posts)→
More from AGI Musings
- AI-driven job losses could turn $10T consumer debt into a $1T banking hole — churchkey · 2026-10-16
- Into the Unknown: an AI agent benchmark of 15 open research problems from US national lab scientists — Jeande_d · 2026-10-16
- Soon your AI will meet their AI — and humans without agents can't compete — danfaggella · 2026-10-16
- Analyst: in a year, models 2-3x better across the board at 10x lower cost, token use up 10-20x — DeryaTR_ · 2026-10-16
- Researcher argues RSI is an empty term: iteration, not recursive self-improvement — gerardsans · 2026-10-16
- AI will make many discoveries for us, but adversarial domains like soccer will thrive — natanielruizg · 2026-10-16