I hear what he's saying, and I'm not saying he's wrong (in essence), but I think Tao (like a lot of other people) are going to have to get with the program a bit. AI is going to radically change a lot of things. It's going to radically change mathematics. It's going to radically change the way people think about mathematics, study mathematics, value mathematics, etc. There's no stopping that. What Tao needs to be contemplating is what that new world for mathematics looks like, cause trying to preserve what we have, now, is effectively impossible at this point.