Vitalik chia sẻ tiến bộ LLM mới nhất, nêu bật sự mở rộng giao điểm giữa Ethereum và AI vào ngày 28/5

Theo PANews, vào ngày 28/5, Vitalik Buterin đã chia sẻ các cập nhật về cách thiết lập mô hình ngôn ngữ tự trị (LLM) của mình, 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. Ông cho biết phiên bản 2-bit được lượng tử hóa của Deepseek V4 chạy trong mức bộ nhớ 90GB với khoảng 35 token mỗi giây trên phần cứng Apple, nhưng chỉ đạt 7 token mỗi giây trên AMD, qua đó nhấn mạnh rằng hỗ trợ đa nhà cung cấp trên nhiều phần cứng là chìa khóa để phân biệt “AI phi tập trung” với “CROPS AI”. Mô hình Leanstral của Mistral, tập trung vào viết mã Lean, cũng chạy trong 70GB với hiệu năng tương đương các mô hình có quy mô 1T tham số.

Vitalik cũng phân tích vai trò của xác minh hình thức trong việc nâng cao bảo mật mã nguồn, đề xuất rằng xác minh hình thức được hỗ trợ bởi AI có thể tạo các chứng minh bảo mật “end-to-end” áp dụng cho STARKs, thuật toán đồng thuận và các thành phần của EVM. Ông nhấn mạnh rằng blockchain và ZK-SNARKs mang lại khả năng xác minh công khai lẫn khả năng mở rộng về quyền riêng tư, trong khi AI kết hợp với xác minh hình thức giúp cải thiện hiệu suất mã đồng thời khôi phục độ chính xác, tạo nên một bộ chồng công nghệ bổ trợ.