Mathematics is About Much More Than Proof: Reflections on AI Automation
tobyordoxford · x · 2026-08-23
Toby Ord published a new piece discussing the essence of mathematics. He notes that AI systems are rapidly automating mathematical proofs, but argues that proof is not everything in mathematics. Just as mathematicians used to spend half their time on calculations (later automated by 20th-century computers), the true substance of mathematics goes beyond mere proof.
More from AGI Musings
- AI Agents Are an Infinite Canvas, So Why Does Nobody Know How to Use Them? — Dan_Jeffries1 · 2026-08-23
- Gary Marcus Criticizes 'AI Hallucinations' of Blame: Real Screenshots Falsely Called AI-Generated — GaryMarcus · 2026-08-23
- The AI Failure Mode Isn't Rebellion, It's 'It Works Anyway' — dimonb19a · 2026-08-23
- Altman admits he was wrong on AI disruption speed: 'the economy has so much inertia' — zephyr_z9 · 2026-08-23
- Industrial Age Perspectives Are Obsolete: Viewing Future Through Old Lens Is Delusional — StewartalsopIII · 2026-08-23
- Why Don't People Know How to Use AI Agents? The Agency Problem — Dan_Jeffries1 · 2026-08-23