People miss the main point - Claude of today found critical issues in a few minutes. Anyone tomorrow running for a week will find more. The bugs are never ending and AI coding introduces more. The only way to stop this chase is formal verification.