Intuitionism/constructivism has gained much momentum in recent years.

It is the foundation for Hawking’s model-dependent realism [1]; or more radically Dummett’s anti-realism [2].

Speaking purely about Mathematics - there have been great strides in constructive mathematics in the last 3-4 decades, and great overlaps with computer science (Curry-Howard-Lambek correspondence). A formalist might even say that the fields of logic, mathematics and computer science are identical.

1. https://en.wikipedia.org/wiki/Model-dependent_realism

2. https://en.wikipedia.org/wiki/Anti-realism