IA torna o código menos seguro? Isso não é necessariamente o caso. Vibecoding e codificação por IA podem ser combinadas com verificação formal. Isso pode ajudar a identificar bugs mais cedo e garantir que o código cumpra o que deve, verificando formalmente que uma implementação atende à especificação.