I think it will happen slowly but steadily. There are now a few commercial companies specialising in writing software that is proven correct. CompCert and seL4

I think it will happen slowly but steadily. There are now a few commercial companies specialising in writing software that is proven correct. CompCert and seL4 are some examples. And various large companies are using tools like TLA+ to prove complex systems correct. However I think it will always be a specialised area (like embedded systems). With new job titles like “Proof Engineer” or “Verification Engineer”.