Artificial intelligence in K-12 instruction: the role of teacher professional development (Smart Learning Environments, 2026)