Grant Sanderson – AI and the future of math