Toby Ord: AI Automating Proofs Does Not Replace Mathematicians' Core Work
tobyordoxford · x · 2026-08-23
Oxford's Toby Ord published an essay titled "Mathematics is Much More than Proof," challenging the narrative that AI will replace mathematicians. While acknowledging recent AI milestones—such as disproving the Unit Distance Conjecture and OpenAI's set of proofs in August 2026—Ord argues that automating proofs is merely another phase, not the end goal.
Ord posits that proof is just one part of mathematics, not necessarily the most interesting. The deeper work includes:
- Asking the right questions: Determining which problems are worth solving.
- Inventing new fields: Creating entirely new concepts and vocabularies to enable new kinds of inquiry.
Since current AI has not demonstrated the ability to invent questions or new fields, there remains deep mathematical work that only humans can do.
Related event: Toby Ord: AI Automates Proof, but Math Is Much More(9 posts)→
More from AGI Musings
- GitCoin founder on Nick Land's technocapital: capitalism as a self-assembling machine intelligence — khademinori · 2026-10-16
- 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