Aren't we in a similar position to what chess went through in the 2000s when Deep Fritz came out, and a desktop PC was able to defeat a reigning World Chess Champion? Did chess players just give up and stop playing? No, they didn't. They used these new chess engines to become better players. Computer programmers and mathematicians will probably go through something analogous.

Presumably it is only a matter of time until these frontier models are used to create new interesting conjectures. I don't get Tao's line of reasoning.