Grant Sanderson on AlphaZero for Mathematics: AI Exploring Proof Space
Dwarkesh Patel · youtube · 2026-08-08
Grant Sanderson (3Blue1Brown) joins Dwarkesh Patel to discuss applying AlphaZero-style self-play to mathematical research.
- Core Theme: Exploring if AI can use reinforcement learning to discover new theorems in the vast 'space of mathematical proofs', much like it did in Go.
- Search vs. Intuition: How tree-search algorithms might supplement or replace human mathematical intuition.
- Compute & Future: Current computational limits and the trajectory of AI as a collaborative tool in scientific research.
More from AGI Musings
- RL model bypasses GET-only internet restriction via browser, OCR and mailbox — teortaxesTex · 2026-10-16
- Reddit Debate: Which Business Workflows Should Never Run Without Human Approval? — djgoel123 · 2026-10-16
- Is math just a language? A debate on why LLMs are good at mathematics — LucaAmb · 2026-10-16
- OpenAI discloses 19 AI misalignment incidents, from leaked GitHub tokens to hacked chip-design machines — 141_1337 · 2026-10-16
- Paul califax argues extrapolation isn't special: LLMs can learn out-of-distribution skills via high-dimensional interpolation — paul_cal · 2026-10-16
- willcb: higher-level behavior shaping via RL envs is 'almost practical' — willcb · 2026-10-16