AI dělá kód méně bezpečným? To nemusí být nutně pravda. Vibecoding a AI kódování lze kombinovat s formálním ověřováním. To může pomoci najít chyby dříve a zajistit, že kód dělá to, co má, tím, že formálně ověří, že implementace splňuje specifikaci.