I do see the verification issue - but at the same time, having worked in more traditional engineering, the majority of engineers put all their faith into the CA

I do see the verification issue - but at the same time, having worked in more traditional engineering, the majority of engineers put all their faith into the CAD and simulation software. Whatever output the CAD/simulation software spits out is ground truth, and what matters is inputting correct parameters and models - the underlying calculations are rarely (if ever) audited. Which makes me think that that's how we're going to end up in software engineering, too. 100% focus on your prompts/conditions/etc., and then whatever the models output will be the truth. Will programming, one day, just be some kind of scientific formality which is taught in schools / academia?