Anthropic 开源 FlashProve 可证明推理验证方法

Anthropic 发布可证明推理新研究，推出 FlashProve，让开发者验证某条响应是否确实来自给定的 AI 模型，代码已开源于 https://github.com/anthropics/FlashProve。