AI and Formative Assessment