[andai]

Yeah, I was thinking earlier, the way things are going, software (and maybe the internet itself) might need to look a little different in a few years.

Ironically the AIs will probably help us produce higher quality software in the end, because "everything gets pwned" becomes the forcing function for software actually being correct.

In other words I think we are actually entering an age where correctness makes economic sense. (One can dream!) The cost of producing correctness is dropping, and the cost of not doing so is rising massively.