Rohan Paul (@rohanpaul_ai)T2·85 分
Anthropic 开源 FlashProve 实现 AI 模型溯源验证
原标题：Anthropic just open-sourced FlashProve, which lets you check which AI model actually wrote a reply
- FlashProve 允许通过数学证明验证特定回复是否由指定模型生成，防止服务商静默降级模型。
- 性能大幅提升：在 Llama 4 Maverick 上，单张 H100 GPU 生成证明速度达 110 tokens/秒，普通 CPU 仅需约 17 秒即可完成验证。
- 安全性增强：由于代码难以审计，其核心安全保证已在 Lean 4 证明辅助语言中完成形式化验证。