谷歌研究团队发布了一项叫“敏捷审议”的方法,帮人训练 AI 图像分类器去判断“健康食品”“励志艺术”这类没有唯一标准答案的类别。原来的问题是:训练 AI 需要人先给出清晰固定的标签,但面对主观概念时,人往往边看例子边改想法,传统流程逼着人硬标,容易疲劳、结果也不一致。新方法把训练变成一场对话:先让用户把大概念拆成小类并写明排除项,再由视觉语言模型主动挑出模棱两可的边界图片请用户判断,人的反馈自动进入提示词优化循环,分类标准随之调整。团队在 18 场、每场 1.5 小时的真人实验中观察到,用户疲劳和焦虑明显下降,做出的分类器比常规基线更稳定、更准。代码和算法已在 GitHub 开源,属于研究阶段成果。
文中可用工具
- Agile Deliberation把主观分类器的定义过程变成人机对话并自动优化提示词的框架
- GitHub开源该框架代码和算法的平台
展开详情收起详情:敏捷审议:AI 如何帮助人类界定模糊地带⌄
Google Research Blog
原文发布:2026-11-05 02:07收录:2026-11-05
用 AI API 的开发者过去很难确认回答请求的到底是不是自己付费的那个模型,服务商可以偷偷换成更便宜的模型,攻击者也可能篡改回答。Anthropic 的 Frontier Red Team 开源了 FlashProve,用密码学证明(zkSNARKs)在不暴露模型权重的情况下验证回答来自特定模型。不过它目前只是研究原型、不在 Claude API 里,而且生成证明的 GPU 开销是普通推理的 70 到 95 倍(在 Llama 4 Maverick 上单张 H100 每秒约处理 110 个提示 token),只支持 1024 token 上下文,不适合日常 API 流量。对开发者的用处是:以后可能借此核验第三方 AI 服务、发现被入侵的推理系统,但现在还只能自己下载代码测试。
文中可用工具
- FlashProveAnthropic 开源的密码学验证系统,用于证明某条回答来自特定模型权重而不暴露权重
- zkSNARKs零知识证明技术,用来在不泄露模型权重的前提下验证回答来源
- Llama 4 MaverickMeta 的 4000 亿参数混合专家模型,被用作 FlashProve 的测试对象
- vLLM标准推理框架,文中用作对比基准衡量 FlashProve 的额外 GPU 开销
- Lean形式化验证工具,用于数学上验证协议的安全性质
- VerInf更早的开源验证系统,文中作为 FlashProve 的速度对比对象
- ClaudeAnthropic 的 AI 模型,参与 FlashProve 的部分开发与优化
- Claude APIAnthropic 的 API 服务,FlashProve 目前并未集成其中
- Nvidia H100用于测试 FlashProve 生成证明性能的单张 GPU
展开详情收起详情:Anthropic 找到证明是哪个 AI 模型回答你的方法——但代价高昂⌄
The New Stack
原文发布:2026-11-05 06:50收录:2026-11-05
OpenAI 搭建了一条自动化流水线,用来在 Linux 内核里找本地提权漏洞。这类漏洞一旦被利用,普通用户可能拿到管理员权限,相当于从普通住户变成能开所有门的管家。以前找这类漏洞主要靠人工审计,慢且容易漏。这次流水线自己完成了发现、验证并生成补丁,共覆盖 948 个漏洞。读者可以理解为:内核可能有上千条不该存在的“后门”被找出来堵上了,但材料没有说明这些补丁是否已合入、何时公开,也没说流水线能否被外部使用。
文中可用工具
- OpenAI原文未说明是具体产品还是公司,仅称其搭建了自动找漏洞的流水线
展开详情收起详情:减少了上千条提权路径⌄
OpenAI News
原文发布:2026-11-04 16:00收录:2026-11-05