> but you need to move on

If AI can actually replicate mathematicians, sure. We don’t have evidence it can. We have evidence it can do useful stuff once promoted by human mathematicians. But if all the Terence Taos “move on,” we won’t have those in America anymore.

(The irony of ironies would be the mathematicians prematurely moving on causing American AI progress to stall in the future.)