How Terry Tao became an evangelist for AI in math