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.
Comments
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.