Comment by nextos

I think this is the real problem. I am sympathetic towards automated code synthesis.

But without formal verification and a human reviewing specifications to ensure alignment, I think code will end up being broken in unexpected ways or drift away from the original intent.