[nradov]

Perhaps, but evolutionary results are difficult to test. They tend to fail in bizarre, unpredictable ways in production. That may be good enough for some use cases but I think it will never be very applicable to mission critical or safety critical domains.

Of course, code written by human programmers on the lower end of the skill spectrum sometimes has similar problems...

[vczf]

It doesn't seem like a completely different thing to generate specifications and formally verified programs for those specifications (though I'm not familiar with how those are done today).

[jimbokun]

I mean, I don’t even like programming with Spring because what all of those annotations are doing is horribly opaque. Let alone mountains of AI generated code doing God knows what.

I mean Ken Thompson put a back door into the C compiler no one ever found. Can you imagine what an AI could be capable of?