Teaching Mathematics in the Presence of AI