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.
Related event: Toby Ord: AI Automates Proof, but Math Is Much More(9 posts)→
More from AGI Musings
- Polymarket odds: Only 10% chance US enacts AI safety bill by end of 2026 — Polymarket · 2026-10-16
- Intelligence is proportional to data: reorder tasks by data volume and the jagged frontier becomes a spiral — sebkrier · 2026-10-16
- "Vibecoding" is as misleading a label as "AI" and "SI," dev complains — eschadiol · 2026-10-16
- Reviewer will decline papers largely written by AI, citing author effort — IanArawjo · 2026-10-16
- AI-written cold emails hit a wall: Pragmatic Engineer's reply gets templated AI response — marktenenholtz · 2026-10-16
- Ben Bajarin: Enterprise Agentic Adoption Is Infant-Stage, Spend Could Top $1T a Year — BenBajarin · 2026-10-16