#特朗普支持CFTC管辖预测市场 Виталик Бутерин опубликовал сообщение, в котором поделился последними достижениями в настройке собственной крупной языковой модели (LLM) и отметил, что пересечение инфраструктуры Ethereum и ИИ постоянно расширяется. Он упомянул, что Deepseek V4 уже выпущена, и её версия с 2-битной квантованием может работать в пределах 90 ГБ оперативной памяти, при этом на оборудовании Apple скорость составляет примерно 35 токенов/сек, а на AMD — всего около 7 токенов/сек, подчеркнув, что поддержка нескольких производителей аппаратного обеспечения — ключ к различию между «децентрализованным ИИ» и «CROPS ИИ». Кроме того, модель Leanstral, разработанная Mistral (фокусируется на написании Lean-кода), может работать в пределах 70 ГБ и демонстрирует производительность, сравнимую с крупными моделями с 1 трлн параметров.

Виталик также подробно объяснил роль формальной верификации в повышении безопасности кода, считая, что ИИ-поддерживаемая формальная верификация может обеспечить «сквозную» безопасность кода, применимую к ключевым компонентам, таким как STARK, алгоритмы консенсуса и EVM. Он отметил, что блокчейн и ZK-SNARK обеспечивают открытую проверяемость и масштабируемость приватности, а сочетание ИИ и формальной верификации может повысить эффективность написания кода и одновременно восстановить его точность, создавая взаимодополняющие технологические стеки. Виталик призвал экосистему Ethereum к доработке моделей под конкретные сценарии использования Ethereum и к продвижению эффективной поддержки на нескольких аппаратных платформах.