The AI Pioneer Who Wants to Replace Teachers With Algorithms