Learnvia, started by Carnegie Mellon University and supported by the Gates Foundation, says its AI-enabled tools can save professors’ time and help students make quicker progress.