Anthropic开源FlashProve可验证推理系统
热点事件持续更新
Anthropic开源FlashProve可验证推理系统
2 篇报道2 个报道来源1 小时前更新
先了解这件事
AI 综述
Anthropic开源了可证明推理系统FlashProve，服务方可为模型输出生成密码学证明，用户无需模型权重即可在CPU上核验输出是否来自指定模型。在Llama 4 Maverick测试中，单张H100生成证明，单个请求证明文件约19MB，24线程CPU核验约需17秒。 FlashProve目前仍是需要服务方配合的研究原型，生成证明的GPU时间开销约为普通推理的70—95倍。Anthropic称相关研究仍在进行，没有在Anthropic或其他实验室部署该系统的计划，此次发布意在分享阶段性进展，而非已完成的研究议程。代码、Lean证明和文档以Apache 2.0许可证开源。
AI 根据报道生成 · 36 分钟前更新
最新进展11月4日 17:53
Anthropic开源可证明推理系统FlashProve，CPU核验约17秒可抓模型调包报道时间线
沿着报道，了解事件的不同侧面。
11月4日
- 智东西Anthropic开源可证明推理系统FlashProve，CPU核验约17秒可抓模型调包
Anthropic开源大模型可证明推理系统FlashProve，服务方可为模型回答生成密码学证明，用户无需模型权重即可在CPU上核验输出是否来自指定模型。在Llama 4 Maverick测试中，单张H100生成证明，单个请求证明文件约19MB，24线程CPU核验约需17秒。
- TechCrunch · AIAnthropic 研发 FlashProve 系统，用密码学证明 AI 模型身份
Anthropic 正在研发开源系统 FlashProve，通过密码学证明某段输出确实来自特定模型，即所谓“可验证推理”。该系统要求模型厂商发布不暴露权重的模型“指纹”，可防止厂商暗中换成更便宜或更贵的模型，也能验证第三方关于某项任务由某模型完成的说法；验证可在本地设备完成。
本事件热度走势
- 可比范围当前
- 17
- 可比范围峰值
- 1711月4日 18:00
- 近 24 小时变化
- –
05101520
08:0010:0012:0014:0016:0018:00
趋势仅比较持续完整观测到的相同主体，范围可能小于当前热度统计。移动指针或点击图表查看每小时热度；键盘可用左右方向键切换。