The Socratic Method Meets AI