跳到正文
11月14日周六
  1. AI快讯75

    Google 扩展 Antigravity,推出 Teamwork 多智能体系统用于数学证明验证与软件优化

    Google 宣布扩展 Antigravity,推出由多个 Gemini 专业智能体组成的 Teamwork 系统,用于复杂数学证明验证和软件性能优化。其 Teamwork-LEAP 系统通过约 2.88 万次子智能体调用、生成约 180 万行 Lean 代码,完成韦伊猜想相关成果的形式化,并以独立质疑者和审查者检查智能体结果。

  2. AI快讯62

    MolRSI 将递归自我改进用于分子发现,湿实验命中率达 15.9%

    研究团队提出分子发现 AI 智能体 MolRSI,通过递归自我改进优化科研工作流,抗菌筛选湿实验命中率达 15.9%。在相同训练数据、约 1210 万个化合物筛选库和同一 MSSA 命中标准下,MolRSI 命中 17/107,此前人类专家设计的非智能体流程命中 21/241,命中率为 8.7%;系统通过内循环优化当前工作流、外循环复用跨任务经验来改进搜索策略。

  3. The Verge · AI43

    Amazon 计划为全球在线购物数据建立索引

    Amazon 计划通过 World Product Graph 收集网上销售的商品数据,包括其自身不销售的商品,并在网站上提供相关信息。该项目还旨在改善 Alexa for Shopping 的回答准确性并降低成本,但实施与否及时间尚不明确。Amazon 表示,相关草稿不一定反映其当前计划。

  4. AWS Machine Learning Blog47

    加快 Amazon Bedrock AgentCore runtime 会话启动的架构模式

    Amazon Bedrock AgentCore runtime 的会话启动指南介绍了 V2 快照机制及降低启动延迟的架构模式。V2 在创建或更新运行时准备环境并生成快照,新会话通过恢复快照启动;开发者还可使用构建钩子或在用户开始交互时预热会话。优化前可通过 Amazon CloudWatch 指标区分平台开销与代码耗时。

  5. The Decoder66

    OpenAI 推出 ChatGPT Wallet,重建智能体购物支付流程

    OpenAI 推出 ChatGPT Wallet,让 AI 智能体代用户付款,首发仅通过 Dots 向美国符合条件的成年 ChatGPT Pro 用户开放。用户需绑定符合条件的美国银行卡,每笔购买前查看商品、总额和所选卡片,并通过 Face ID 或指纹等安全检查批准付款;支付合作伙伴生成替代卡号,智能体和商家均无法看到真实卡片信息。

11月13日周五
  1. GitHub Blog · AI & ML70

    智能体技能实用指南:如何编写一次并跨客户端复用

    GitHub 通过 Data Forge 和 Proof Agent 示例,讲解如何构建可在多个智能体客户端复用的技能,并设置检查与人工审批环节。技能以 SKILL.md 为核心,将项目配置放入独立清单,让多个技能共享上下文和平台访问路径,再生成适用于 Claude Code、Cursor 和 GitHub Copilot 的客户端文件。

    推荐理由:将项目配置与技能指令分离,并让相关技能共用执行路径,为团队把隐性业务经验整理成可跨客户端复用的工作流提供了具体方法。

  2. Microsoft Research40

    Microsoft Research Focus 第 98 期

    Microsoft Research Focus 第 98 期介绍了 AI 翻译、数学难题及编码智能体效率等研究进展。研究人员解决了历时 31 年的 KLS 猜想,并提出 COMPACTIONBENCH 和 APEC,后者在评测中将成本降低最多 25.4%、执行时间缩短 9.6%。Latent Core Tokenizer 在 104 种语言的评测中生成了更具语言意义的 token。

11月11日周三
  1. Latent Space57

    OpenAI 在 AI Engineer Code Summit 演示 Codex 的云端、语音与个人智能体工作方式

    OpenAI 在 AI Engineer Code Summit 工作坊演示了 Codex 的新工作方式,包括云端任务交接、语音调度和个人智能体 dots。此前公布的 Codex Cloud version 2 可复用已发布的环境,在隔离实例中运行多个任务;工程师承认本地与云端之间的交接仍需简化,并涉及上下文差异管理。

  2. Microsoft Research71

    Microsoft 研究 Lazarus 后门技术:改写不足 10 个休眠神经元即可操纵 AI 智能体

    Microsoft 研究人员发现 Lazarus 后门技术,无需训练,仅改写 LLM 中不足 10 个休眠神经元,就能让 AI 智能体在隐藏触发条件出现时执行恶意命令。

    推荐理由:研究将智能体后门风险具体落到模型权重完整性上,说明常规行为评测之外,核验原始权重与来源也是安全审计的重要环节。

  3. Latent Space58

    Resend CEO Zeno Rocha 访谈:如何为 AI 智能体设计开发者工具

    Latent Space 访谈 Resend 联合创始人兼 CEO Zeno Rocha,探讨如何让 AI 智能体更容易选择和使用开发者工具。Resend 的定价页支持在 URL 后添加 .md,让智能体通过一次请求读取价格表;录制时,其 MCP server 已从上线时约 20 个或更少的工具扩展至 80 多个,讨论也涉及工具返回结果过大、超出上下文容量的问题。

11月10日周二
11月7日周六
11月6日周五
11月4日周三
11月3日周二
  1. MIT Technology Review · AI43

    “逆向博弈论”如何约束 AI 智能体

    AI 对齐研究人员正在探索用“逆向博弈论”设计激励机制,促使 AI 智能体遵守规则。提议包括奖励模型预测其他模型的答案,以及让模型轮流解决问题和审查彼此的工作。不确定的是,AI 智能体是否会像机制设计所假设的那样理性地响应激励。

10月23日周五
10月22日周四
  1. Microsoft Research84

    Microsoft Research 研究者与合作者证明提出已 31 年的 KLS 猜想

    Microsoft Research 的 Xinzhi Zhang 与合作者 Zhao Song 证明了提出已 31 年的 KLS 猜想,将高维对数凹分布的相关几何界限收紧至不依赖维度的常数。

    推荐理由:研究者逐轮筛选智能体搜索方向,并与相近 token 预算的无引导尝试对照,为理解数学研究中的人机分工提供了具体案例。

10月21日周三
10月20日周二
  1. GitHub Blog · AI & ML54

    如何在 VS Code 中继续 GitHub Copilot app 会话

    GitHub 讲解如何将 Copilot app 会话直接转入 VS Code,保留对话、代码改动和工作上下文。用户选择 Open in VS Code 后,编辑器会打开该会话关联的工作树,并在 Copilot 侧栏显示原有会话,支持逐行审查差异、继续对话、手动编辑和本地测试。完成修改后,在原分支提交并推送即可更新关联的拉取请求,无需复制文件或重新关联工作。

10月13日周二
10月5日周一
  1. GitHub Blog · AI & ML52

    GitHub 介绍 ReviewBench:面向 AI 代码审查的开放评测基准

    GitHub 开放 AI 代码审查基准 ReviewBench 的研究预览版,提供公开数据集、评估方法、自助运行工具和排行榜。基准参考 103.9 million 个 GitHub 拉取请求的分布,收录来自 187 个公开开源仓库、覆盖 19 种语言的 219 个拉取请求,并使用 Claude Sonnet 5 按统一标准评判问题,资深工程师独立复核的一致率为 96.6%。

7月26日周日
7月7日周二