It's not really ironic. The fact that some mathematics is useful is not an argument or evidence that the goal of mathematics is utility.

It's also very risky to frame it that way, because that immediately leads to the idea that mathematical endeavors should be judged and funded according to their expected utility. That's product development, not research.