These math advances are more or less zero-sum wins, as in there's not much gained for the outside world, and a chance to prove an important theorem is taken away from humans. In a sense it's hard to celebrate it. If, however, they were able to advance medicine, science or technology, it would be a different story.