Khanmigo is Khan Academy's AI tutor powered by GPT-4. It guides students through problems with Socratic questioning rather than giving answers, building deeper understanding.