[choeger]

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.