AI делает код менее безопасным? Это не обязательно так. Vibecoding и AI-кодирование можно сочетать с формальной верификацией. Это может помочь найти ошибки раньше и гарантировать, что код выполняет то, что от него ожидается, формально проверяя, что реализация соответствует спецификации.