#特朗普支持CFTC管辖预测市场 Vitalik Buterin đăng bài chia sẻ về tiến trình mới nhất trong thiết lập mô hình ngôn ngữ lớn tự chủ (LLM) của ông, và chỉ ra rằng sự giao thoa giữa hạ tầng Ethereum và AI đang ngày càng mở rộng. Ông đề cập rằng Deepseek V4 đã được phát hành, phiên bản lượng tử 2-bit của nó có thể chạy trong bộ nhớ 90GB, tốc độ trên phần cứng Apple khoảng 35 token/giây, nhưng trên AMD chỉ khoảng 7 token/giây, nhấn mạnh rằng việc hỗ trợ thực sự nhiều nhà cung cấp phần cứng là yếu tố then chốt phân biệt “AI phi tập trung” và “CROPS AI”. Ngoài ra, mô hình Leanstral do Mistral ra mắt (tập trung vào viết mã Lean) có thể chạy trong 70GB, hiệu năng tương đương các mô hình lớn 1T tham số.

Vitalik cũng trình bày chi tiết về vai trò của xác thực chính thức trong việc nâng cao an toàn mã, cho rằng xác thực chính thức hỗ trợ bởi AI có thể đạt được chứng minh an toàn “từ đầu đến cuối” cho mã, phù hợp với các thành phần cốt lõi như STARK, thuật toán đồng thuận, EVM. Ông chỉ ra rằng blockchain và ZK-SNARK cung cấp khả năng xác thực mở và mở rộng quyền riêng tư, còn sự kết hợp giữa AI và xác thực chính thức có thể nâng cao hiệu quả viết mã đồng thời tái tạo độ chính xác, hình thành hệ sinh thái công nghệ bổ sung. Vitalik kêu gọi hệ sinh thái Ethereum nên điều chỉnh mô hình phù hợp với các trường hợp liên quan đến Ethereum và thúc đẩy hỗ trợ hiệu quả trên nhiều nền tảng phần cứng.