Once the music industry’s biggest headache, Napster’s next act is bringing AI to the classroom.