Comment by svara

I want to agree with this, but I have a hard time seeing how it can be done.

Tao is speaking of a very particular kind of mathematics, that done out of pure curiosity.

But maths, even at the highest levels, often finds applications sooner or later.

It will be economically impossible to justify boycotting correct mathematics that no humans understand on grounds only of purity.

This may happen very soon: one of the obvious applications of novel mathematical results is in building stronger AI models.