Odaily Planet Daily đưa tin, Anthropic đã ra mắt hệ thống xác minh suy luận AI mã nguồn mở FlashProve dựa trên bằng chứng không tiết lộ thông tin (zkSNARK), với sự tham gia nghiên cứu của Alessandro Chiesa, đồng sáng lập StarkWare. Hệ thống này sử dụng các phương pháp mật mã học có cùng nguồn gốc với công nghệ ZK trên blockchain, cho phép người dùng xác minh liệu đầu ra AI có được tạo ra bởi mô hình được chỉ định hay không mà không cần truy cập trọng số mô hình hoặc chạy lại mô hình.
Anthropic cho biết, Claude đã tham gia vào việc tối ưu hóa hệ thống, và hiện đã mở nguồn mã liên quan cùng chứng minh hình thức dạng Lean. Hệ thống này vẫn đang ở giai đoạn bản mẫu nghiên cứu, với chi phí thời gian GPU để tạo chứng minh khoảng 70–95 lần so với suy luận thông thường.
Kết quả kiểm tra cho thấy FlashProve có thể tạo chứng minh cho mô hình Llama 4 Maverick của Meta với 400 tỷ tham số với tốc độ khoảng 110 token mỗi giây trên một GPU H100, mỗi chứng minh có dung lượng khoảng 19 MB.