🔍 🛡️ Виталик Бутерин: AI создаст уязвимости, но спасёт математику
Основатель Ethereum уверен: мощные нейросети найдут множество багов, но решение — в математически доказуемом коде. Бутерин предлагает использовать AI не для генерации кода, а для написания и проверок доказательств безопасности.
Особенно важно для критической инфраструктуры: Ethereum, ZK-систем, STARKs и постквантовой криптографии. Это же касается DAO: отдельные AI смогут автоматизировать голосование по тысячам решений.
Будущее кибербезопасности — за синергией блокчейна, криптографии и умных AI-ассистентов, которые делают код не просто рабочим, а доказанно безопасным.