Если модели доказательства теорем масштабируются по способности в 10 раз быстрее, чем модели кодирования, и учитывая, что доказательство — это код, то vibe-кодирование будет лучше всего выполняться через язык программирования с системой доказательства, но предназначенным для создания приложений, а не для математики.