Виталик Бутерин поддержал самоограничения Kimi 3.1 в отношении ИИ-инструментов для кибератак.
В понедельник он написал в X, что его устраивает, что модель ИИ Kimi 3.1 намеренно не обучали на данных о самых продвинутых возможностях для кибератак.
По его мнению, такой компромисс даёт защитникам больше времени на подготовку.
«Ограничивать варианты использования НАМНОГО лучше, чем ограничивать пользователей», — написал он, отметив, что миру нужно время, чтобы укрепить системы и проверить старый код, прежде чем на нас обрушится вся мощь очень масштабных кибератак.
Он предпочитает модель, которая отказывает всем в выполнении определённых задач, а не ту, которая отказывает отдельным людям.
19 мая он возразил тем, кто опасался, что поиск уязвимостей с помощью ИИ перегрузит разработчиков. По его словам, формальная верификация с поддержкой ИИ может стать одной из самых эффективных мер защиты в криптоиндустрии.
Он отметил, что модель теперь может написать и код, и его доказательство, оставив разработчикам лишь проверку того, что утверждение соответствует задуманному.
8 октября он предупредил, что математика с поддержкой ИИ может ослабить ECDSA и аналогичные криптографические системы раньше, чем ожидалось, но посоветовал пользователям не спешить переводить средства на новые кошельки прямо сейчас.
Как вы считаете, ограничение вариантов использования моделей ИИ — устойчивый путь к кибербезопасности или оно рискует создать элитарную систему доступа?
#AI #Cybersecurity #Ethereum #ФормальнаяВерификация