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