That assumes that software is endlessly exploitable. We are also able to use AI tools to more easily move software into the realm of formal verification where t

That assumes that software is endlessly exploitable. We are also able to use AI tools to more easily move software into the realm of formal verification where there is no implementation defects only logical ones. Ones that can be reasoned about using things like Lean and Coq. Microsoft does this with their cryptographic stack. It's a very interesting branch of software that I think will be getting much more popular.