This might be key, I think Grant Sanderson of 3blue1brown fame gave the example of the Turing machine being this small lemma that was introduced in a paper about computability, and if no one actually spent any time thinking about what it was and what it meant, we have solved the paper and thought there wasn't any interesting or useful application of this math.

Thankfully the machine was built, I do wonder if how we're going to solve the understanding part of this, there's a lot coming out, drinking from the firehose is not something I can reconcile with my experience that a lot of good ideas need serious contemplation time to bear fruit.