Socratic AI

I've been thinking about what AI should look like for students, because right now it mostly looks like a machine that does their homework for them. I think there's a much better version of it, and I'm calling it Socratic AI. So it's an AI that they're allowed to use after they're done doing their work or after they've already gotten to a pretty decent place by themselves.