Pragmatic AI in education and its role in mathematics learning and teaching | Synapse