今日关注模型验证、AI 推理融资、选举问答及 Agent 安全。
🛡️ Anthropic 研发 FlashProve，尝试证明 AI 输出来自哪款模型
Anthropic 研究人员公布开源研究项目 FlashProve，尝试通过加密证明核验某段输出究竟出自哪款 AI 模型。方案要求模型提供方公开不泄露权重的模型“指纹”，便于用户识别冒充或暗中换模。目前已有技术规范和部分代码，但研究仍在进行，尚无部署计划。
💰 AI 推理平台 Fal 新融资 13 亿美元，估值升至 160 亿美元
运行图像、视频与音频模型的 Fal 完成最新一轮 13 亿美元融资，Bessemer 领投，Nvidia 等参与。报道援引 Bloomberg 称其估值达到 160 亿美元，较今年 4 月翻倍。推理需求增长带来收入，也伴随着高昂算力成本；估值不等于盈利。
🛡️ 美国中期选举暴露 AI 问答准确性风险
WIRED 报道，Forum AI 对主流聊天机器人选举问答的研究发现，接近四成回答至少包含一处事实错误；例如有产品给出错误的邮寄投票申请截止日期。这是特定研究的测评结论，并非所有问题的普遍错误率。选举信息仍应核对官方渠道。
🤖 研究者试用“逆向博弈论”约束 AI Agent
MIT Technology Review 介绍一种 AI 对齐研究思路：设计激励规则，让代理在执行任务时也有动机遵守约束。例如让一个模型解题，另一个模型审查，训练时同时奖惩作弊与漏检。这还是研究设想，模型可能串通，能否在真实前沿模型上有效尚未确定。
💰 Anthropic 第三季度算力成本占收入比例升至 58%
TechCrunch 根据 Anthropic 更新的申报文件指出，其第三季度收入约 170 亿美元，但算力支出占收入比从前一季度的 48% 升至 58%。为应付增长需求，公司采用价格较高的短期算力合同；收入快速增长的同时，算力效率仍是商业压力。
