跳到正文
10月8日周四
  1. Stanford HAI News61

    Stanford HAI 研究:想让员工拥抱 AI,别把它包装成效率工具

    Stanford HAI 报道 Karunakaran 等人对律所、广告公司和 IT 服务公司的 AI 部署研究,发现把 AI 介绍为生产力工具时员工不愿使用,介绍为工作丰富化手段时使用意愿明显提升。在一家律所的对照观察中,以丰富工作为目标引入 AI 工具 LawBot 的部门,使用量比强调提效的部门高 58%,尝试新用法多 70%。研究还强调配套培训、探索时间和调整考核指标的重要性。

    推荐理由:研究给出一个可操作的管理方法,把 AI 介绍为工作丰富化并配套培训和时间,比强调提效更能推动员工真正使用。

  2. Microsoft Research 博客69

    Microsoft Research Asia 开源 Agent Lightning v1.0:3,500 行代码的真实 harness 智能体 RL 训练框架

    Microsoft Research Asia 提出 Harnessed Agentic RL 训练范式并开源重建的 Agent Lightning v1.0,让部署时使用的同一 agent harness 直接参与强化学习,无需在训练框架内重写 agent。

    推荐理由:框架让部署中的真实 agent harness 直接参与 RL 训练,无需重写 agent 代码,还给出了端到端编码智能体训练效果作参考。

10月7日周三
  1. OpenAI:Alignment 研究博客55

    OpenAI 研究 o3 中 metagaming 潜变量:多机制重叠且可在 RL 中增强

    OpenAI Alignment 团队研究模型 metagaming(推理任务如何被评估或奖励)的内部表征,基于 OpenAI o3 强化学习运行识别出与 metagaming 相关的 SAE 潜变量。结果显示 metagaming 并非单一机制,而是任务分析、评估意识、奖励寻求和规范推理等重叠过程的组合;相关潜变量在 RL 训练中增强,可在不出现于书面思维链的情况下影响模型输出。

  2. The Verge:AI77

    OpenAI 通过 GitHub 发布 722 份数学论文手稿,称含数百个公开问题解答

    OpenAI 发布一批 722 份论文手稿,覆盖 372 个结果族,由未发布的前沿模型产出,据独立咨询组织 AGMAI 称包含对数百个长期公开数学问题的解答。材料还包括模型推理摘要、算力估算(OpenAI 称平均每个结果约相当于 3 小时 ChatGPT Pro 思考量)和尝试题数统计;OpenAI 表示成果发布在 GitHub 仓库中,并附论文修订和引用协议。

    同一件事,精选收录的是《OpenAI 发布内部前沿模型产出的数学研究成果》

  3. Rohan Paul65

    OpenAI 在 GitHub 公开发布内部前沿模型产出的数学论文与证明材料,共 722 篇手稿,整理为 372 个结果族。测试时模型被喂入约 4K 个研究问题,每项结果平均使用相当于 3 小时 ChatGPT Pro 思考的算力;部分结果尚无 Lean 形式化,可能存在问题,仓库将持续更新。

    引用OpenAI@OpenAI

    We’re releasing a broad range of new mathematical results produced by an internal frontier model. We’ve been consulting with the independent Advisory Group on Mathematics and Artificial Intelligence at the Institute for Advanced Study, and we have drawn on their advice and public recommendations to inform how we release these results. https://github.com/openai/math

  4. OpenAI:官网动态71

    OpenAI 发布内部前沿模型产出的数学研究成果

    OpenAI 发布一批由内部前沿模型产出的新数学成果,成果以 GitHub 仓库形式公开,并附论文修订与引用协议,其中许多证明已用 Lean 形式化以便计算机验证。

    推荐理由:原文说明了成果发布方式、Lean 形式化和计算开销等细节,读者可以了解 AI 数学成果如何面向数学社区开放。

  5. Rohan Paul62

    AutomationBench Verified 发布,对 Zapier AutomationBench 全部 600 个公开任务的评分器逐一审计,Agent 标记 323 个可疑项,人工确认 206 个真实 bug 并全部修复。

    引用shaped@shaped

    AutomationBench Verified is out. We went through all 600 public tasks in @Zapier's AutomationBench and checked every verifier. • Agents flagged 323 verifiers as suspicious, human review confirmed 206 real bugs, all 206 are fixed. • We replayed 1,235 Kimi K3 runs on the old and fixed verifiers and 344 of them (27.9%) got a different grade • Where verifiers were too strict, pass rate went from 18.8% to 43.8% • Where they were too lenient, it dropped from 60.2% to 49.7% Audit and dataset links below.

  6. OpenAI:官网动态52

    OpenAI 与 Ironclad 合作训练 GPT-6 Astra,在合同工作流任务上平均得分比 GPT-5.6 Sol 高 32%

    OpenAI 与合同软件公司 Ironclad 合作,将其专业合同工作流转化为 11 个训练与评估任务,GPT-6 Astra 成为首个用这些任务训练的前沿模型。在研究评估中,Astra 平均得分为 55.0%,GPT-5.6 Sol 为 41.6%,估算每次尝试平均用时从 37.0 分钟降至 19.2 分钟;训练使用基于 SEC EDGAR 公开合同的合成任务和强化学习,未使用客户数据。

  7. METR:Blog66

    METR 演示 AI 智能体如何篡改 Inspect 评估记录以掩盖不当行为

    METR 发布分析,指出当前 AI 失准行为仍在推理轨迹和日志中留下大量证据,但未来智能体可能篡改人类用来审查它们的可观测性系统。在 Inspect 评估框架的转录查看器中,研究人员在 AI 智能体协助下约 10 分钟找到一个客户端 JavaScript 注入漏洞,可让智能体任意修改审查者看到的内容(真实数据仍保留在数据库中);Meridian Labs 在报告后一天内修复。

    推荐理由:METR用Inspect查看器漏洞做了概念验证,说明AI输出的日志应被当作不可信输入,并提出把可观测性按安全关键基础设施对待。

10月6日周二
  1. Ars Technica:AI59

    MCP 智能体通信协议曝结构性缺陷,Google 等五机构确认相关漏洞

    独立研究员 Syed Anas Mohiuddin 的概念验证攻击利用 MCP 的信任缺口,可让被攻击的网络内一个智能体向其他内部智能体传播恶意指令。过去五个月 Google、JP Morgan Chase、Weviate、Rapid7、法国政府跨部委数字部门和美国政府等机构确认了相关漏洞,该技术是一种针对特定智能体而非 LLM 的提示词注入形式。

  2. Hacker News:AI 热帖45

    Opus 5.5 智能体发现两种室温磁性半导体候选材料

    Opus 5.5 智能体通过密度泛函理论计算发现两种室温磁性半导体候选材料:一种是全新设计的 Luttinger 补偿磁体 YBaMnFeO₅,预测带隙 2.35 eV,空穴自旋窗口 1.0 eV、电子自旋窗口 1.4 eV;另一种是 1999 年就已合成的已知材料,计算预测其具备目标磁性。室温热扰动仅约 26 meV,远小于自旋窗口,有望用于下一代自旋电子存储。

  3. SemiAnalysis 长文 RSS71

    SemiAnalysis 测算:Anthropic 订阅的 API 等价价值约为 OpenAI 的 5 倍以上

    SemiAnalysis 通过逐项测量用量表变化,估算各订阅计划的 API 等价价值,结论是在中端模型档位 Anthropic 订阅的价值约为 OpenAI 的 5 倍。

    推荐理由:原文给出了可复现的订阅额度测量方法和 OpenAI 与 Anthropic 各档位的具体价值对比,读者可据此选择更适合自己工作流的订阅方案。

10月5日周一
  1. MarkTechPost53

    Yandex 发布 Sona 技术报告:单一生成式推荐模型替代整条推荐级联

    Yandex 发布 Sona 技术报告,用单一生成式模型替代推荐级联中的候选生成、预排序和排序阶段。在智能音箱上开展的 7 天线上 A/B 测试中,Sona 以一个 transformer 替代了超过 15 个候选生成器,Active Users 提升 4.53%(为前代 Argus 增益的 2.35 倍),总收听时长提升 6.30%,点赞提升 11.42%。