Why Mathematicians Like Terence Tao Aren't Worried About AI