North Carolina lawmakers included $5 million in the state budget to pilot Khanmigo and MagicSchool AI tutoring programs for middle and high school students.