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.
More from AGI Musings
- Physical AI moving so fast that 'ETH' will no longer mean cryptocurrency in 10 years — lukas_m_ziegler · 2026-08-23
- Experts doubt the 'AI reasons, humans judge' dichotomy — francoisfleuret · 2026-08-23
- AI undermines discussion forums as valid assessment in online classes — DrKavner · 2026-08-23
- Is It Legal to Train AI Models on Copyrighted Books? It's Complicated — TechCrunch AI · 2026-08-23
- AI efficiency gains: better for business output than consumer time — tobyordoxford · 2026-08-23
- Tech's Trust Crisis Is a Product Problem: Proving Abundance in Health, Housing, Education — PeterDiamandis · 2026-08-23