IMHO the big win has been the reification of Turing machines as an essential commodity. Software is no longer a mathematical abstraction but a reality that per

IMHO the big win has been the reification of Turing machines as an essential commodity. Software is no longer a mathematical abstraction but a reality that permeates every aspect of day-to-day life for just about every human being on earth. This democratizes mathematics because you can explain it to ordinary people in terms of computer programs and they can easily understand what you are talking about. The fact that there are fundamental limits on what computers (and hence mathematics) can do it surprising and interesting, but not even remotely cause for despair. As for our failure to find a ToE, it has been barely 50 years since we got the Standard Model figured out, and since then we've been stymied by the lack of data in the relevant regimes. It's really, really hard to do experiments where both GR and QM have measurable impacts. Give it time.