My opinion is that the field will adapt. AI will not spell doom for mathematics. On the contrary, it is the beginning of a new era. Math is having its Deep Fritz moment, just as computer science is going through the same.
Some folks are struggling to adapt to this change. Tao actually sounds like he is doing alright compared to most, even if some of his arguments seem a bit weak, as I alluded to in other comments in this thread.
Hopefully it makes some sense. And if it doesn't, at least we had a nice chat.
Haha yes I imagine we all know your opinion is something like that! But isn't it much more fruitful and interesting to form an argument for it? If he is still in the context here: is there something about Baudelaire's critique you were discussing originally that has helped you arrive at this opinion? Do you think he is wrong? Or is he right, but providing the right kind of nuance that we need in order to cope with the revolutionary changes? Genuinely curious!