This post which he forwarded was quite poor in my opinion. Confusing, all over the place with AI criticisms and promotion of the AI hazing being done by mathematicians.
X thousand mathematicians who want to protect their livelihoods signed a bunch of letters against AI. Duh. We've seen similar movements from every profession that has been displaced ever.
Terence Tao uses AI and has made a few good points on how to use it. But defensiveness leaks into almost every defense of the role of humans in Mathematics that I've read, even his own at times.
To be clear, I actually believe that Mathematicians aren't going away, but I dont have enough knowledge about the life of a professional mathematician to articulate a path forward.
This "path forward" is what I'd like to see. We need a top mathematician with enough intellectual honesty (Terence Tao qualifies, I think) to start this questioning with "there's actually no role for human Mathematicians" as one of the options on the table and go from there.