> pure mathematicians lost themselves in the formalization of hypothesizing/modeling and thus lost touch with mapping it to reality.

You’re describing a very small fragment of total current mathematical labor. Very few people work solely on “formalization” and even e.g. model theory or type theory have real consequences.