You're thinking of provable code? Or something else?

it appears they are thinking of a universal 'framework' for all things we may consider insecure as of present

that would do it too, and i suppose people are working on that. but even without that, there arent infinite low hanging fruit problems to find, and any given code can just sort of be play-doh'd into other code. so the llms will need a few idk years worth of rounds of being trained on the things that pop up that wed never have the time to harden, and things will settle. like, its hard patching stuff up quick right now but society hasnt fallen in to chaos.