IT industry "we cannot use formal methods to create software out of programmable constraints, it would use too much computational power" also IT industry: "it takes 1T flop to compute each token of this program and the result is so unstable that to converge it we need layer and layer of controls over each token group, also obtained by asking the same 1T parameter model."
Most people would point to the large dev time increase, and the massive refactoring impairment.