For what it's worth, most AI tools being used in corporate environments aren't generative AI like ChatGPT or Stable Diffusion. I very much doubt it will create new material, as much as control how the pre-written material is given to the students.
I went to a charter high school as a kid, and all our classes were done on computers. The teacher was in the room if you had questions that the software couldn't answer, but otherwise everything was completely self-paced. I imagine the AI being used in this school is going to be similar, where all the materials are already vetted, and the algorithm determines how and when a student proceeds through the class. The article refers to the classrooms having "learning coaches", who seem to serve the same purpose the teachers in my school did, as well.