> But when this is all over, software will be more secure than it has ever been before
I don't see sufficient evidence that this is not going to be a perpetual race between people/AIs fixing existing software and more advanced and powerful next generation AIs finding new vulnerabilities and exploits.
sooner or later we'll converge to proof-backed code
It's only a race if the defender can afford the tokens