Mathematics in the Age of AI