My point was not that AI from now on should be done away with in mathematics research. I was rather commenting on the likelihood of AI companies continuing the "strip mining", as Tao put it, of his field.