Software can be proven. You can exhaustively test a program for a particular hardware configuration, and logically speaking you can get proofs of validity. Ther

Software can be proven. You can exhaustively test a program for a particular hardware configuration, and logically speaking you can get proofs of validity. There aren't those proofs now because the "Free Market" decided there was more value to be had using shitty software now rather than proving it out first through testing. Hence why every license provides no guarantee of fitness for purpose and disclaims warrantee to the extent practicable by law. But given time, those claims can and waivers and warnings aren't necessary. The discrete math will just work out that way. Now ask the AI producers/users to accept personal liability based on a stochastic probability machine. I imagine you won't see many hands raising to take you up on the offer.