In contrast to what these philosophical pieces tend to convey, the main crisis in mathematics is a labour one.

Mathematitians exchanged proofs for employment. That was the currency. Now they cannot use that currency anymore, so the question is how does someone know if they should hire an unknow person or not?

Philosophicaly who cares if you like more theory building or theorem proving? You dont need to convince anyone. The only solution is to be curious and follow your interests and naturally humanity will redefine what the new mathematics feels like.

You cannot convince anyone about it, its not something rational.