Is mathematics an science or an art? To the extent it's art, it's expressive and rewards the human experience that inspires and that creates it. If it's art, it's drastically less valuable to advance it through automation. But if mathematics is a science, then our entire goal is to increase humanity's understanding of the field. Whether by automation or genius inspiration or as a reward for decades of grinding it out incrementally, it's all the same: knowing more is the point.