A 1-minute clip of Grant Sanderson speculating on an AlphaZero-style AI that endlessly extends Mathlib, the formalized-math library; for viewers curious about AI-driven math research.
Continue to AI University →