AI and formative assessment: The train has left the station | Synapse