Anthropic công bố FlashProve: chứng minh mật mã rằng câu trả lời đến từ đúng mô hình đã cam kết
Theo bài nghiên cứu của Anthropic (2/11/2026), FlashProve là nguyên mẫu mã nguồn mở cho suy luận có thể chứng minh với mô hình Mixture-of-Experts lớn. Nhà cung cấp công bố một cam kết (commitment) với trọng số mô hình, rồi với mỗi yêu cầu tạo một bằng chứng zkSNARK; người dùng kiểm tra bằng chứng trên CPU thông thường mà không cần biết trọng số. Với Llama 4 Maverick (MoE 400 tỉ tham số, trọng số 4-bit), một GPU H100 tạo bằng chứng khoảng 110 token/giây, mỗi bằng chứng khoảng 19 MB cho yêu cầu 1.024 token; kiểm tra mất khoảng 17 giây trên 24 luồng CPU. Anthropic cho biết thời gian GPU gấp khoảng 70–95 lần so với chạy vLLM, và bằng chứng áp dụng cho mô hình số nguyên với giải mã tham lam; bản triển khai chưa được công bố cho sản xuất.
Nguồn: Anthropic
Cần chatbot hoặc agent LLM cho doanh nghiệp?
Mô tả ngắn yêu cầu của bạn; bạn sẽ nhận câu hỏi làm rõ và đề xuất phạm vi trước khi bắt đầu.
Tin liên quan
Tencent ra mắt Hy4: lần đầu có thị giác và điều khiển máy tính, nhắm tới nhóm mô hình mở mạnh nhất
LeanGuard: kiểm tra từng lệnh gọi công cụ của agent LLM bằng chính sách viết trong Lean 4
