Eh, if AI quickly solves most of our mathematics problems that are solvable then it might be time for us to hang up our hat as our little monkey brains aren't very good at this stuff.

Now, I think AI will solve some, but we'll find out that some are just either unsolvable or wildly huge that nothing is solving them any time soon.

And a whole lot of these problems have been around quite some time, when even knowing how to do advanced math meant you were a landed gentry or someone of high wealth. If those problems fall, they fall. They aren't pets we keep around forever. And new problems will crop up over time for both AI and men to scratch their brains over.