Comment by omellet

I guess you didn't read the article? The end of it quotes Tao about how much more there is to discover in mathematics, and he expects humans using AI to get there.