[amelius]

Yes, this is the distinction. In the past, we did our best to find guarantees about the things we invented. E.g. in control theory we would analytically find the limits of a system's inputs and performance, in CS we would determine bounds on the worst case performance, etc. But nowadays we just dump everything into a giant black box and call it a day.