★ 4
Anthropic 等发布 FlashProve，推进大模型可验证推理
Anthropic 联合 EPFL、MIT 等机构研究者发布 FlashProve 系统，利用 zkSNARK 密码学证明让模型提供方证明每条回复确由所声称的模型生成。代码、Lean 证明与文档以 Apache 2.0 许可开源，可用于独立评测、第三方路由与防篡改场景。
Hacker News4 小时前
共 1 篇相关资讯，按重要度与时间排序，每 3 小时更新。
Anthropic 联合 EPFL、MIT 等机构研究者发布 FlashProve 系统，利用 zkSNARK 密码学证明让模型提供方证明每条回复确由所声称的模型生成。代码、Lean 证明与文档以 Apache 2.0 许可开源，可用于独立评测、第三方路由与防篡改场景。