新智元·· 18 小时前同新闻AI 评分58
Anthropic 开源 FlashProve，为模型回答附可本地验证的证明
你用的大模型，后头坐着谁？
AI 导读
Anthropic 前沿红队开源了 FlashProve，服务商先公布模型指纹，之后每句回答附带一份可在本地验证的数学证明，无需显卡，17 秒出结果，对不上即报错。
同一新闻，精选展示《Anthropic 开源可证明推理系统 FlashProve，17 秒验证大模型输出真伪》
来源：新智元 · mp.weixin.qq.com
Anthropic 开源 FlashProve，为模型回答附可本地验证的证明