Event ·Multi-source

Anthropic 开源 FlashProve：普通 CPU 可验证回复由哪个模型生成

Anthropic 开源了 FlashProve，可让服务器以数学方式证明某条回复由哪个模型生成，防止转售商用便宜模型冒充付费模型。在 400B 参数的 Llama 4 Maverick 上，单张 H100 以 110 tokens/秒生成约 19MB 的证明，普通 CPU 约 17 秒即可完成验证。此前唯一的同类系统 VerInf 需生成 93.6GB 证明、验证耗时近一天。系统的安全保证用 Lean 4 形式化证明。

Current read

Anthropic 开源了 FlashProve，普通 CPU 十几秒就能验证回复到底出自哪个模型，比之前的 VerInf 快太多，转售商糊弄不了人了。

11 sources74° AI heatLast updated 2026/11/3 20:15:49

Evidence

11 sources

Primary sourcerohanpaul_ai

2026/11/3 20:15:49View source

Related source 1Gorden Sun

2026/11/3 08:00:09View 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 4HIT Consultant

2026/11/2 16:00:00View source

Related source 5theverge

2026/11/2 18:56:02View source

Related source 6claudedevs

2026/11/2 19:06:08View source

Related source 7宝玉

2026/11/2 19:34:14View source

Related source 8Claude Code: GitHub Releases

2026/11/3 01:25:46View source

Related source 9Blognone

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

Related source 10TestingCatalog

2026/11/3 07:41:31View 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