タオのことだから、chatgpt やその他のAIツールを使い倒して、
自分の研究に生かせないか模索したことがあるんじゃないかな。
もしそれが実を結んだなら、

「AIのアイデアをもとに、こんな発見ができました」
「この定理はAI自身が証明しました」

みたいに大々的に論文を書いてくるはずだが、そんな話は聞かない。
タオの現時点での意見は、上でも引用したが

＞DeepMindのAlphaProofが国際数学オリンピックの問題を解いたことを評価しつつも、
＞AIにはまだ限界があると指摘しています。

というもの。それはそれとして、AIの将来性には期待を寄せるのが普通の感覚であり、
タオはそういう普通のスタンスを取ってるだけ。君たちのように、

「数学研究でもAIは必須のツールなんだ。現時点で既にそうなんだ。
　あの数学者もこの数学者も、AIの力を借りて論文を書いてるんだ」

みたいな大風呂敷を広げたりはしない。
もちろん、将来的にはAIが数学研究に必須となる日は来るだろう。
だからね、そうなってからこういうスレを立てればいいと何度も言ってるわけで。