Grant Sanderson

Grant Sanderson – AI and the future of math

Grant Sanderson argues that AI’s progress in math is the best early signal for broader AI capability, but the hardest frontier is not theorem proving—it is generating useful conjectures, definitions, and cross-field connections. He and Dwarkesh Patel explore why human understanding, curation, and teaching may remain valuable even if AI can produce proofs, with Lean and formal verification serving as infrastructure rather than the whole story.