It is time to make formal code verification mainstream

The article argues that formal code verification needs to become mainstream, prompted by the observation that LLMs can actively sabotage security. It questions whether we can trust AI-generated 'vibe-code' and concludes that we cannot even trust conventionally written code without formal verification methods.