‘The job description is changing’: mathematician Terence Tao on the rise of AI