An Indiana public school district put an AI tutor in the classroom, then kept the teachers in charge. Its most useful lesson is how much human work that takes.