A new kind of AI for education