The Importance of Asking the Right Questions in Mathematics
tobyordoxford · x · 2026-08-23
Toby Ord highlights that asking the right questions is crucial. Even a machine capable of proving any true statement in a microsecond would fail to consider certain problems (like the unit distance problem) before the stars burn out, emphasizing the limitations of automation without direction.
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