Виталик Бутерин на конференции Network State Conference 2026 заявил, что искусственный интеллект значительно ускоряет реализацию дорожной карты Ethereum. По его словам, без помощи ИИ некоторые цели проекта могли быть достигнуты лишь к 2040 или 2050 году.
ИИ берет на себя часть задач по исследованиям и написанию кода, включая формальную верификацию на языке Lean 4. Это позволяет сократить объем ручного аудита кода, что критически важно для перехода Ethereum к архитектуре с использованием рекурсивных STARK-доказательств и защитой от квантовых компьютеров.
В начале 2026 года были проведены эксперименты, в ходе которых создан прототип клиента Ethereum, охватывающий около 65 пунктов дорожной карты и синхронизированный с основной сетью. Следующее обновление, Hegota, ожидается в 2027 году и станет последним стандартным хардфорком.
Бутерин отметил двойственную роль ИИ: он ускоряет разработку, но создает риски безопасности. Использование формальной верификации рассматривается как способ защиты, позволяющий математически подтвердить корректность кода, созданного с помощью нейросетей.
