A IA torna o código menos seguro? Isso não é necessariamente verdade. A vibecoding e a codificação com IA podem ser combinadas com verificação formal. Isto pode ajudar a encontrar erros mais cedo e garantir que o código faz o que deve, verificando formalmente que uma implementação satisfaz a especificação.