Back to feed

Grant Sanderson – AI and the future of math

Dwarkesh Podcast

Jun 30, 2026

6/30/2026

Design Training Signals to Reward Long-Horizon Concept Formation and Fertile Abstractions

Grant Sanderson – AI and the future of math · Dwarkesh Podcast

Science, Technology & Innovation · Jun 30, 2026

The key barrier to automating top-tier mathematical creativity is reward design for long-horizon concept formation—current short-loop verification penalizes early, useful abstractions (as with Galois theory), so AI must be trained to favor compressed, predictive, and elegant representations, not just immediate correctness.


6/30/2026

Formal Mathematics May Serve as An Autonomous Research Substrate for Long-Term Theorem Discovery

Grant Sanderson – AI and the future of math · Dwarkesh Podcast

Science, Technology & Innovation · Jun 30, 2026

Sanderson argues formal mathematics could be more valuable as an autonomous, machine-only research substrate—continuously extending a fork of Mathlib to prove theorems and invent conjectures without human checks—creating scalable, compute-driven 'theorem ecosystems' that could become a new R&D model for pure science and make infrastructure (formal repos, supervisor heuristics, filtration) strategically important even if natural-language systems win visible benchmarks.


6/30/2026

AI Progress Favors Grindable and Reproducible Domains With Deterministic Rollouts

Grant Sanderson – AI and the future of math · Dwarkesh Podcast

Science, Technology & Innovation · Jun 30, 2026

AI advances fastest not merely in verifiable domains but in those that are also grindable—replayable, containerized, and massively parallelizable with clean credit assignment—so math and coding progress outpace messy real-world web/business tasks, implying investment should favor repeatable training environments.


6/30/2026

Mathematics Frontiers Are Spiky And AI Progress Reflects Rewarded Cognitive Styles Rather Than General Intelligence

Grant Sanderson – AI and the future of math · Dwarkesh Podcast

Science, Technology & Innovation · Jun 30, 2026

Mathematics is a misleadingly strong AI benchmark because its “spiky, fractal” frontier lets systems dominate some subdomains (e.g., geometry via brute-force formal search) while still failing on nearby reasoning styles (e.g., combinatorics), so milestones like IMO gold indicate alignment with current training methods rather than AGI—and builders should target the remaining resistant cognitive styles such as combinatorial exploration and open‑ended theory formation.


6/30/2026

AI In Math Will Be Measured By Its Influence On Research Direction And Conjecture Formation, Not Just Problem Solving

Grant Sanderson – AI and the future of math · Dwarkesh Podcast

Science, Technology & Innovation · Jun 30, 2026

The next major AI-in-math milestone will be when experts rely on models to choose what to study—generating conjectures, definitions, and research agendas—so success is shown by community adoption and qualitative trust, not benchmark pass rates.