AI makes code less secure? That's not necessarily the case. Vibecoding and AI coding can be combined with formal verification. This can help find bugs earlier and guarantee the code does what it’s supposed to by formally verifying that an implementation satisfies the spec.