If the alternative is "burn more tokens on finding issues than the attackers do", formal verification starts to look comparatively feasible cost. Think of it as setting an upper bound on cost, vs just burning more and more tokens.
AI assistants would reduce effort of verification too.
AI assistants would reduce effort of verification too.