He is the most pro-AI mathematician around. But he notes that AI gives mathematicians a disincentive to share hunches, because someone with more money to spend on tokens might scoop you.
Today it's mathematics, tomorrow it could be some other field of research.