AI and student rigor