Бутерин: ИИ ускорит дорожную карту Ethereum на десятилетия
- —Бутерин выступил на Network State Conference 2026 в Сингапуре 9 октября
- —ИИ выполняет значительную часть исследований и кода для Lean Roadmap
- —Ключевой пример — формальная верификация на языке Lean 4
- —Следующий этап — апгрейд Hegota около 2027 года, последний «обычный» форк
Почему важно: Ускорение разработки Ethereum снижает сроки внедрения квантовой устойчивости и формальной верификации, что влияет на долгосрочную безопасность сети.
Источник: Crypto Briefing