¿La IA hace que el código sea menos seguro? No es necesariamente así. El vibecoding y la codificación por IA pueden combinarse con la verificación formal. Esto puede ayudar a detectar errores antes y garantizar que el código cumpla con su función verificando formalmente que una implementación cumple con la especificación.