Anthropic 发布 FlashProve 原型，用零知识证明验证 AI 回答出自哪个模型
Anthropic 发布开源研究原型 FlashProve，用 zkSNARK 密码学技术证明 AI 回答确实由声称的模型生成，且不暴露模型权重。单张 H100 GPU 上对 Llama 4 Maverick（4000 亿参数）约每秒生成 110 token 的证明，单个证明约 19MB，普通 CPU 上 17 秒可验证，开销约为常规推理的 70 到 95 倍。
#Anthropic
The DecoderAI 评分6464 TechCrunch · AIAI 评分5656 Anthropic 研究可验证 AI 模型身份的开源系统 FlashProve
Anthropic 发布博客称正在开发名为 FlashProve 的开源系统，通过密码学证明（可验证推理）确认某段输出确实来自特定模型，可防止 AI 公司偷偷换用便宜模型或虚报性能。该系统要求实验室发布不泄露模型权重的模型指纹，验证可在本地设备完成，技术规范和代码已在 GitHub 开源。Anthropic 表示这是阶段性研究成果，暂无部署计划，希望社区在此基础上改进。
Import AIAI 评分4646 Import AI 478：数学助力对齐、ProgramBench 与 Mirendil 展示 RSI 含义
AI 安全公司 Resolution 用智能体自动形式化了 Hironaka 奇点消解，耗时约一周、消耗约 100B 输入 token 和 3 亿输出 token，花费约 13.5 万美元，产出约 60 万行 Lean 代码。