If that is the case, if the pursuit of math is not instrumental, then there is no issue with ai.

You can take a leisurely drive on your Mc even when self driving taxis can take you from a to b.

It must necessarily reduce to a fear of reduced funding to math fields.

Which is congruent to the taxi analogy.

>The point of transportation is to get from point A to point B so almost nobody will care whether that's done via automation.

Would you say the job of a musician is to just produce sound? and the job of a surgeon just to cut and suture??? Well then the job of a mathematician is also just to provide proofs. You completely misunderstood the above comment and Tao's argument.