Виталик Бутерин подчеркнул растущее пересечение между инфраструктурой Ethereum и искусственным интеллектом, акцентируя внимание на необходимости оптимизированных моделей для соответствующих случаев использования. Он объявил о выпуске Deepseek V4 — квантизированной модели с 2-битной точностью, работающей в пределах 90 ГБ памяти и достигающей скорости 35 токенов в секунду на оборудовании Apple, но всего 7 токенов в секунду на AMD. Бутерин подчеркнул важность поддержки нескольких производителей оборудования, чтобы отличать децентрализованный ИИ от централизованных моделей ИИ. Кроме того, Бутерин обсудил модель Leanstral от Mistral, которая ориентирована на написание Lean-кода и может работать в пределах 70 ГБ, предлагая производительность, сопоставимую с крупной моделью с параметрами в 1 ТБ. Он подчеркнул роль формальной верификации с помощью ИИ в повышении безопасности кода, особенно для ключевых компонентов, таких как STARK, алгоритмы консенсуса и EVM. Бутерин призвал сообщество Ethereum дорабатывать модели ИИ для специфичных приложений Ethereum и обеспечивать эффективную поддержку на различных аппаратных платформах.