You're very optimistic in the potential of these tools. I tend to agree, but I think that they will find their master in formal systems. If productivity raises

You're very optimistic in the potential of these tools. I tend to agree, but I think that they will find their master in formal systems. If productivity raises as you're predicting, the world won't accept 99,9% correct software anymore. There will be demand for 100% correctness. Regarding the potential economic gains, they're exactly the salary of software engineers. That's a decent amount but not massive. Compare this to civil engineering, architecture, and craftsmen. None have been replaced because machines let amateurs do something resembling their job.