Terence Tao examines mathematical research goals in the age of AI | HACKOBAR_