Mathematics is a fundamentally cooperative match vs reality. Many mathematicians, AFAICT, saw their key skill in manipulating a wide range of highly abstract notions. Now machines just got too good at this skill, and they can work 24/7. This may feel terrifying for some. Others would bet that machines coöperating with humans will be more successful than pure machines, so they feel empowered. What's beyond doubt is that the entire field is being shaken.