Terence Tao: Mathematics in the Age of AI [pdf]