We're currently in the herd immunity phase of AI-assisted cyber. The wave of hacks and exploits is brutal. But we have to go through it, and it will ultimately make all of our software more robust. In 10 years, we will look at AI-assisted formally verified software the same way we'll look at self-driving cars. We'll be horrified someday that we once allowed distracted chimps to muscle around 4,000 pound motorized death machines. And we'll be just as horrified that we once allowed humans to hand-write unverified code. It will be considered engineering malpractice. We're not there yet. But we'll get there. There's no way out but through.