Vitalik Buterin đã nhấn mạnh sự giao thoa ngày càng tăng giữa hạ tầng Ethereum và trí tuệ nhân tạo, nhấn mạnh sự cần thiết của các mô hình được tối ưu hóa cho các trường hợp sử dụng liên quan. Ông đã công bố phát hành Deepseek V4, một mô hình lượng tử hóa 2-bit hoạt động trong bộ nhớ 90GB, đạt tốc độ 35 token/giây trên phần cứng Apple nhưng chỉ 7 token/giây trên AMD. Buterin nhấn mạnh tầm quan trọng của việc hỗ trợ nhiều nhà cung cấp phần cứng để phân biệt AI phi tập trung với các mô hình AI tập trung. Ngoài ra, Buterin đã thảo luận về mô hình Leanstral của Mistral, tập trung vào việc viết mã Lean và có thể chạy trong bộ nhớ 70GB, cung cấp hiệu suất tương đương với một mô hình lớn có 1TB tham số. Ông nhấn mạnh vai trò của việc xác minh chính thức được hỗ trợ bởi AI trong việc nâng cao bảo mật mã, đặc biệt đối với các thành phần cốt lõi như STARK, các thuật toán đồng thuận và EVM. Buterin kêu gọi cộng đồng Ethereum tinh chỉnh các mô hình AI cho các ứng dụng cụ thể của Ethereum và đảm bảo hỗ trợ hiệu quả trên nhiều nền tảng phần cứng khác nhau.