Grant Sanderson – AI and the future of math | Dark Hacker News