The aim is to produce a body of knowledge that will be useful to humanity. So far, the best way to ensure that knowledge is useful is to have a society of experts who understand them well. That may not be necessary any more with AI, but it's a scary thought -- because that logic can be applied to any human knowledge, not just mathematical.

This is certainly what many mathematicians have used as justification for why humans should continue studying math.