I think people have really misunderstood Tao as someone against "AI doing his job". That's at the core of this controversy in math, and it couldn't be further from true.