L'IA rend-elle le code moins sécurisé ? Ce n'est pas nécessairement le cas. Le vibecoding et le codage par IA peuvent être combinés avec une vérification formelle. Cela peut aider à trouver des bugs plus tôt et garantir que le code fait ce qu'il est censé faire en vérifiant formellement qu'une implémentation satisfait aux spécifications.