Event ·Multi-source

Anthropic 开源 FlashProve：用零知识证明验证 AI 回答来自哪个模型

Anthropic 开源了研究原型 FlashProve，用于验证 AI 回答是否真的来自宣称的模型。该工具采用零知识证明结合 Lean 4 形式化数学验证，厂商预先生成计算凭据，用户在普通家用电脑 CPU 上几秒钟内即可完成核对。系统能支持 Llama 4 级别的大模型，证明流程在单张英伟达 H100 上跑完，且模型权重等核心参数完全隐藏。

Current read

担心中转站偷偷换成劣质模型？Anthropic 开源的这个验证工具，用户自己电脑上几秒就能查出回答是不是正版模型出的。

11 sources66° AI heatLast updated 2026/11/3 08:00:09

Evidence

11 sources

Primary sourceGorden Sun

2026/11/3 08:00:09View source

Related source 1Tech in Asia

2026/11/2 02:00:51View source

Related source 2shao__meng

2026/11/2 04:06:38View source

Related source 3Pieter Levels

2026/11/2 21:55:09View source

Related source 4Blognone

2026/11/3 02:25:26View source

Related source 5IT之家

2026/11/3 07:13:13View source

Related source 6Genk

2026/11/3 14:29:00View source

Related source 7量子位

2026/11/1 13:09:55View source

Related source 8Decoder

2026/11/1 14:36:49View source

Related source 9Fierce Healthcare

2026/11/1 18:49:00View source

Related source 10Techsauce

2026/11/2 02:26:01View source

Conflict check

Dedup data only shows that these sources discuss the same event, not that they agree. There is no structured supporting or refuting evidence yet, so no conflict is inferred automatically.

Open the story