I think what some engineers don't realize is that mostly we will all move to abstraction level of product managers. If you are not slowly moving up to that level of abstraction as the model capabilities improve, it is likely that you are in for a bad time.
There are certainly mission critical systems with a low tolerance for failure, but even there the essential work will be specification. I'm not sure how long even that is primarily human driven. Cost of formal verification of software drops dramatically.