Khan Academy's AI tutor using Socratic questioning to build understanding.