AI圈报
论文研究普通

Anthropic 发布 FlashProve:用 zkSNARK 实现可验证的大模型推理

信息来源:Anthropic:Research(发表成果 · 网页)·
原始标题:Progress on provable inference for large language models

内容摘要

Anthropic 发布可验证推理系统 FlashProve,开源协议说明、可执行代码与 Lean 形式化证明(Apache 2.0),让用户在不接触权重、算力有限的情况下验证响应确由指定模型生成。
内容分类AI 论文与研究
内容层级普通情报
发布时间(北京时间)
本站收录时间(北京时间)
信息来源Anthropic:Research(发表成果 · 网页)
站内情报编号intel-2c597b4e949c814f3c9674a8