Russell once remarked that all of mathematics would be trivial to a sufficiently intelligent being. It builds conceptual tools for limited minds, that lets them understand far beyond their natural reach.
In a world with ASI, having that capacity is vital.
I suspect the amount of complexity in mathematics is infinite, so any intelligent being of finite intelligence would be unable to do all of it.
I mean just looking at all the numbers to see which have interesting properties could take a while.
Ha, are you invoking something he said prior to discovering Russell's paradox? Which came about because he wanted to show that all of mathematics can be derived from logic about sets, but instead he showed that it couldn't be.