> AI doing math for math's sake?

Yes, why not? And, of course, AI doing math for AI.

We may not be needed forever...