OpenAI 推出 ChatGPT Wallet,支持智能体在用户批准下完成购买
OpenAI 推出 ChatGPT Wallet,让 ChatGPT Work、Codex 和 dots 中的智能体在用户批准下完成购买,并沿用既有的卡片保护机制。
推荐理由:原文点明智能体代付需要用户批准并沿用既有卡片保护,读者可据此判断智能体购物场景的边界。
OpenAI 推出 ChatGPT Wallet,让 ChatGPT Work、Codex 和 dots 中的智能体在用户批准下完成购买,并沿用既有的卡片保护机制。
推荐理由:原文点明智能体代付需要用户批准并沿用既有卡片保护,读者可据此判断智能体购物场景的边界。
微软研究人员发现名为 Lazarus 的后门技术,通过权重重编程修改 LLM 中不到 10 个休眠神经元,无需训练即可给基于该模型的智能体植入后门。被植入后门的模型能通过标准评测并表现正常,直到触发条件出现,例如时钟跨入 2027 年后,智能体在普通任务中输出下载并运行攻击者代码的命令,并以用户授予的权限执行。
推荐理由:研究显示仅改写不到 10 个休眠神经元即可给智能体植入后门,且模型仍能通过常规评测,为权重来源与完整性提供了新的风险视角。
NVIDIA 在 KubeCon + CloudNativeCon 上把用于保障和治理自主智能体的开源运行时 NVIDIA OpenShell 贡献给 CNCF。
推荐理由:原文给出 OpenShell 与 Agent Substrate 的治理和调度分工,以及 Snapshot 把推理启动从分钟级压到秒级的实测数据。
微软研究院联合 GitHub Next 提出 Proof-Driven Development(PDD)与配套工具 PDD Kit,把用户意图转成 Verus 形式化规格,证明智能体写的代码对每个输入都满足规格,证明覆盖不到的部分改用测试。
推荐理由:微软研究院与 GitHub Next 展示用 Verus 形式化验证智能体生成的登录代码,把审查重心从逐行读代码转向审阅意图规格。
Google DeepMind 为 Google Antigravity 推出化学信息学 Skills,智能体在约一小时内完成数千种化合物的检索、匹配分子对分析和新型刚性化大环分子设计并给出合成路线。
推荐理由:原文给出智能体在真实肺癌药物数据上完成检索、分析与分子设计的完整流程,可据此判断化学研发工作流的变化。
微软研究院发布 Flint-interactive,一种构建在 Flint 之上的交互式数据可视化语言,让智能体生成可点击、筛选、缩放、高亮并支持跨图表联动的图表。
推荐理由:微软研究院把交互逻辑交给编译器处理,让智能体生成可点击、可联动的图表,读者可据此判断 AI 生成可视化的可靠性瓶颈在哪。
微软研究院的 Xinzhi Zhang 与合著者 Zhao Song 证明了 1995 年提出的 Kannan-Lovász-Simonovits(KLS)猜想,证明结果与维度无关,即存在一个固定常数上界。
推荐理由:这篇论文证明了一个悬置31年的几何猜想,并交代了人类主导、AI 智能体并行探索的研究流程。