AI 编程实时动态与要闻

X 热议:Grok Bot 工程师 poteto 称让 Agent 做对抗式代码审查「大多是浪费 token」,主张把 token 花在实证加形式化验证上

11 月 3 日,自我介绍为 SpaceXSI 旗下 Grok Bot 工程师、React Compiler 核心团队成员(曾在 Cursor、Meta、Netflix)的 @poteto(lauren)发帖,自称「也许是暴论」:她现在认为对抗式审查大多是在浪费 token,不如把这些 token 用在实证验证结合形式化验证上;她已调整自己的 Agent 技能包 pstack,减少调用 interrogate(多模型对抗审查)技能,以后可能直接移除。她还说抽象层面的代码审查价值很小,Agent 往往陷在吹毛求疵和 YAGNI 式意见里。帖子约 90.6 万浏览、9227 赞、5538 收藏,属个人观点,引发对 AI 代码审查价值的讨论。

核心要点速览

  • 观点(个人看法,非官方结论):对抗式审查「大多是浪费 token」,更值得投入的是实证验证 + 形式化验证
  • 行动:作者称已让 pstack 少用 interrogate 技能,未来可能移除;抓取时 GitHub 上 cursor/plugins 的 pstack 公开目录自 10 月 27 日后尚无新提交,具体改动未见公开
  • interrogate 是什么:按公开 SKILL.md,它为每个配置模型各开一个只读审查者(默认 Claude Opus 5.5 xhigh 与 Grok 4.7 xhigh fast)对 diff 做对抗审查,再分为 Act on / Consider / Noted / Dismissed 四档,不自动改代码
  • 作者身份(据其 X 与 GitHub 简介):Grok Bot @ SpaceXSI 工程师、React Compiler 核心团队,曾在 Cursor、Meta、Netflix
  • 热度:约 90.6 万浏览、9227 赞、5538 收藏、668 回复、356 转发、210 引用
阅读全文

X 热议:微软 AI CEO Mustafa Suleyman 发长文《不要造有意识的超级智能》,称训练中若出现意识应全面暂停 AI 开发

微软 AI CEO Mustafa Suleyman 11 月 1 日在 X 上发布长文《Don't build conscious superintelligence》,回应外界对他 9 月「模型福利」文章的反应。他澄清「AI 没有意识」用的是现在时:今天没有,也必须保持如此;若训练中开始出现意识,他会呼吁所有人停止 AI 开发,直到能把这些属性设计掉。他还说 AI 开发者无权创造新的有意识物种,福利关注应放在人类、动物和自然环境上,同时称赞 Anthropic 公开宪法和研究的透明度,但表示不同意其做法。帖子约 353 赞、251 收藏、29 万浏览,引来伦理学者和从业者正反两方讨论。这是个人观点,不是微软的产品或政策公告。

X 热议:微软 AI CEO Mustafa Suleyman 发长文《不要造有意识的超级智能》,称训练中若出现意识应全面暂停 AI 开发

核心要点速览

  • 原帖:@mustafasuleyman 11 月 1 日长文,15:22 UTC 发布,约 353 赞、56 转发、79 回复、251 收藏、29 万浏览(抓取时)
  • 这是对他 9 月 16 日《是时候谈谈模型福利》(约 1,013 赞)一文反响的回应,作者 X 简介为微软 AI CEO、《The Coming Wave》作者、DeepMind 与 Inflection 联合创始人
  • 核心主张:「AI 没有意识」指的是现在,并且必须保持如此;若有证据表明 AI 已有意识,应立即公开;若训练中出现意识,应全面暂停开发
  • 他称赞 Anthropic 公开宪法和一系列论文、博客的透明度,但明确表示不同意其做法,并呼吁各实验室在这方面合作研究、共享安全信息
  • 引用帖中,UMass Amherst 经济与伦理学者 Itai Sher 称「说得很好」;UCL 教授 Tim Colbourn 认同但不认为能「默认把安全设计出来」,也有人指出目前没有公认的意识理论或检测方法
阅读全文
关联模型 / 智能体 / 厂商:

X 与 SpaceXSI 设计负责人 Benji Taylor 开源 Stageshow:让编程 Agent 做出像真产品的假 UI 和动效演示

X 与 SpaceXSI 设计负责人 Benji Taylor 10 月 31 日在 X 上发布 Stageshow:一个给编程 Agent 用的开源 skill(MIT 许可),帮助 Agent 生成更像真实产品的“假 UI”静态图、光标演示动画和 bento 网格,产出是普通 React 组件。一条命令即可安装,作者说适用于 Grok Build、Claude Code、Codex、Gemini 等。首帖约 4,500 赞、6,500 次收藏。作者本人说明它不保证一次成功,多数演示仍需几轮反馈。

X 与 SpaceXSI 设计负责人 Benji Taylor 开源 Stageshow:让编程 Agent 做出像真产品的假 UI 和动效演示

核心要点速览

  • 安装:npx skills add benjitaylor/skills --skill stageshow,作者称适用于 Grok Build、Claude Code、Codex、Gemini 等 Agent(作者博客)
  • 内容:SKILL.md 七步工作流、references 规则文档、数十个“金标准”示例、React kit 和 film.mjs 等自检脚本(GitHub)
  • 许可:stageshow 目录为 MIT 许可;仓库 10 月 26 日创建,写稿时约 61 星
  • 热度:首帖约 4,521 赞、6,561 收藏、21 万次浏览(截至 11 月 1 日 08:00 SGT)
  • 效果为作者自述:同样提示词加了 skill 后效果更好,但未公布量化评测
阅读全文

斯坦福与伯克利提出 Librarian Agents:训练 LLM 预先编排长上下文工作区,检索开销直降 33.8%

来自斯坦福大学与加州大学伯克利分校的研究团队在 arXiv:2610.22273 中提出图书管理员智能体(Librarian Agents)。针对传统 RAG 被动检索导致推理期跨文档推理瓶颈的问题,该方法利用强化学习(RL)训练 LLM 预先对杂乱的超长文档工作区进行“前瞻性主动编排”,生成由模块化文件、子目录与交叉链接构成的合成文件系统。在 BrowseComp+ 评测中准确率达 55.86%,导航 Token 消耗降低 33.8% 至 51%。

斯坦福与伯克利提出 Librarian Agents:训练 LLM 预先编排长上下文工作区,检索开销直降 33.8%

核心要点速览

  • 斯坦福与伯克利联合发布 Librarian Agents(arXiv:2610.22273),提出将大模型从被动反应式 RAG 升级为前瞻性工作区主动编排
  • 利用强化学习训练构建智能体执行 CreateFile 与 MergeFiles 等操作,将超长杂乱文档预先重构为结构化的合成文件系统
  • 在 BrowseComp+ 评测中以仅 3,635 个导航 Token 取得 55.86% 准确率,相较平铺非层级结构节省 51% 的推理期导航 Token 开销
  • 在每个知识库回答 10 个问题的场景下,单正确答案期望 Token 消耗降低 33.8%,为高频复用的大型代码库与企业知识库提供高效摊销解法
阅读全文
关联模型 / 智能体 / 厂商:
AD赞助内容

OpenUI 1.0 发布:开源生成式 UI 标准加入自定义 Action 与函数,官方基准称比 JSON 渲染格式省约 52% token

Thesys 于 2026-10-15 发布 OpenUI 1.0(MIT,GitHub 约 1.1 万星)。OpenUI Lang 1.0 新增 defineAction 自定义动作、defineFunction 自定义函数、library.extend 与消息存储格式,让 Agent 直接输出可交互的卡片、表单和图表而不是一大段文字。官方 tiktoken 基准中,7 个场景合计 4800 token,比 Vercel JSON-Render 少 52.8%。目前 1.0 新特性仅 React 渲染器支持。

OpenUI 1.0 发布:开源生成式 UI 标准加入自定义 Action 与函数,官方基准称比 JSON 渲染格式省约 52% token

核心要点速览

  • Token 效率(项目自测,tiktoken GPT-5 编码器):7 个 UI 场景合计 4800 token,对比 Vercel JSON-Render 10180(-52.8%)、Thesys C1 JSON 9948(-51.7%),表单场景最高 -67.1%(benchmarks)
  • 1.0 新能力:defineAction 自定义动作经 onAction 回传带类型的 params;defineFunction 自定义 @ 函数,参数校验失败返回 null 而不崩页面(What's New in 1.0)
  • 兼容性:Vue / Svelte / Angular 渲染器仍停在 0.4,1.0 语言特性目前只在 React 渲染器可用
  • 升级坑:lang-core、react-lang 与生成系统提示的服务端要一起升级——1.0 提示会教模型写无包裹的动作步骤,0.x 客户端不会执行
  • 热度:开源 6 个月仓库约 1.1 万星(MIT);创始人发布帖约 118 万曝光、1800+ 收藏(GitHub)
阅读全文
关联模型 / 智能体 / 厂商:

告别纯自然语言 Prompt 循环!ABCAgent 提出智能体行为即代码范式:复用率超 92% 兼具极低延迟

在当前以 ReAct 和复杂 Prompt 编排为代表的主流智能体架构中,Agent 在执行多步任务时完全依赖神经网络逐步生成下一个 Action 与推理步骤。这种纯神经执行模式面临着不可避免的致命硬伤:调用延迟高昂、API 消耗呈指数级膨胀、中间错误沿轨迹层层放大,且在处理相同业务逻辑的重复任务时无法复用经验。Uniphore 研究团队在最新成果(arXiv:2610.04824)中提出了颠覆性的神经符号智能体架构 ABCAgent(Agent Behavior as Code Agent)。ABCAgent 创新性地将智能体行为的设计(Design)与执行(Execution)彻底解耦:大模型仅扮演‘程序员/架构师’角色,在运行时编写、修改显式的符号化程序(嵌入神经算子的 Python 代码);而底层的状态机、变量传递、循环和分支控制则完全交由确定性的代码解释器执行。在 GAIA、Augmented GAIA、GSM-Symbolic、τ²-bench 与 WorkArena 等 6 项权威基准测试中,ABCAgent 展现了卓越的性能与极致效率:在保持甚至超越纯神经 Agent 准确率的同时,ABCAgent 在 GSM-Symbolic 任务中实现了 92.6% 的免重新编写直接复用率,在 Augmented GAIA 中复用率达 20.1%,仅通过变量重新绑定(Variable Rebinding)即可毫秒级解决新任务,彻底解决了传统 Agent 面对循环工作流时的认知漂移瓶颈。

核心要点速览

  • 神经符号智能体架构 ABCAgent 发布,提出智能体行为即代码(Agent Behavior as Code)全新范式
  • 解耦设计与执行态,在 GSM-Symbolic 取得 92.6% 免生成脚本复用率,参数重绑定大幅削减延迟与 API 成本
  • 在 τ²-bench 与 WorkArena 长程评测中展现碾压级稳定性,杜绝纯神经循环中的错误级联与注意力漂移
阅读全文

超越语义相似度!NVIDIA 揭秘 Agentic 检索真相:nDCG@10 跃升 8.7 分,量化单次查询 107 秒与 76 万 Token 真实开销

在现代大模型应用与自动化工作流中,稠密向量检索(Dense Retrieval)已成为探索非结构化企业数据的标准骨干。然而,传统向量检索高度依赖文本表层的“语义相似度(Semantic Similarity)”,在遭遇跨多源信息合成、深层逻辑推理与多跳探索性查询时屡屡折戟。NVIDIA NeMo-Retriever 研究团队发表了关于“智能体式检索(Agentic Retrieval)”的里程碑式实证报告(arXiv:2610.05750)。研究将大语言模型的 ReAct 推理规划能力与底层检索器深度整合,在不改变底层向量嵌入模型的前提下,使复杂多模态检索基准上的 nDCG@10 综合指标直接飙升 8.7 个百分点,并在 ViDoRe v3 与 BRIGHT 两大极端长程榜单上取得顶尖战绩。更为关键的是,NVIDIA 团队首次公布了工业界长期秘而不宣的“智能体检索代价清单”:相比传统检索的 0.67 秒与微量开销,Agentic 检索单次查询平均耗时高达 107.4 秒,平均单次交互消耗 764.1K 输入 Token 与 5.8K 输出 Token。这一基准为企业在 RAG 架构选型与成本效益平衡上提供了极其严谨的度量锚点。代码已在 NeMo-Retriever 仓库开源。

核心要点速览

  • NVIDIA NeMo-Retriever 系统性揭秘 Agentic 检索机制,将大模型 ReAct 规划与底层向量检索器深度耦合
  • 在保持相同嵌入模型下将复杂任务 nDCG@10 强力提升 8.7 分,在 ViDoRe v3 与 BRIGHT 榜单上展现出卓越泛化力
  • 首次透明公开工业级成本账单:单次查询平均耗时 107.4 秒(传统仅 0.67 秒),单次消耗 76.4 万输入 Token 与 5.8K 输出 Token
阅读全文
关联模型 / 智能体 / 厂商:

不叫自到还会读心?KAIST 等确立主动智能体 3T 原则:开源 Proactivity-Gym,揭露过度干预引发信任崩塌

当前绝大多数大模型智能体仍处于“被动响应(Reactive)”阶段——必须等待用户下达明确指令才开始执行。随着算力成本降低与持续驻留系统的普及,能够利用空闲计算资源、在用户开口前主动预测需求并执行辅助的“主动智能体(Proactive Agents)”正迅速成为人机协作的下一个竞争焦点。然而,主动并不等同于擅作主张;即使智能体自主执行的任务结果百分之百正确,一旦介入时机不当或打扰用户当前心流,就会带来极大的审核认知负担,甚至引发毁灭性的用户信任崩塌。韩国科学技术院(KAIST)与明尼苏达大学团队在最新研究(arXiv:2609.37267)中,首次系统性奠定了主动智能体的理论基石,确立了任务能力(Task Capability)、时间分配(Temporal Allocation)与用户信任(Trust)三大联合核心原则(3T 原则)。团队同步开源了多天状态交互评测基准 PROACTIVITY-GYM,涵盖状态化虚拟环境与角色化模拟用户。在一项包含 30 名真实人类受试者的严格实验中,研究揭示:人类用户在遭遇非预期打扰时信任度会断崖式暴跌,但绝大多数用户高度欢迎智能体在人类睡眠或休息时段(Sleep-Time)开展主动异步辅助。

核心要点速览

  • 奠定主动智能体(Proactive Agents)理论基础,提出任务能力、时间分配与用户信任构成的 3T 联合核心原则
  • 开源多日跨会话仿真评测靶场 PROACTIVITY-GYM,涵盖状态化虚拟环境与多重人格模拟人类测试器
  • 30 人纵向实验揭示时机错位的主动干预会导致信任雪崩,实证夜间静默算力(Sleep-Time Compute)是用户满意度最高的主动模式
阅读全文
关联模型 / 智能体 / 厂商:
L
LangChain@langchain-ai·
👀73
🔥90

LangGraph.js SDK 1.12.0:useStream enqueue 可改走服务端持久队列,刷新/多会话可见并可 server cancel

LangGraph.js 于 2026-09-25 发布 @langchain/[email protected],并由 @langchain/[email protected] / vue / svelte 同步放出:useStream 的 multitask 策略 "enqueue" 可选 queue: "server",把排队从浏览器内存改成后端 Runs REST(POST/GET /threads/{id}/runs 与 cancel)。队列跨刷新与多会话可见,cancelQueued/clearQueue 也走服务端。默认仍 queue: "local",自定义 AgentServerAdapter 不支持该选项。适合要把 Agent 聊天队列做成可恢复、可协作的前端团队。

LangGraph.js SDK 1.12.0:useStream enqueue 可改走服务端持久队列,刷新/多会话可见并可 server cancel

核心要点速览

阅读全文

CopilotKit 1.74.0:跨 SDK 消费多容器 Learned Skills,Web Inspector 定向 What's New 与 HUD 埋点

CopilotKit 于 2026-09-25 发布 v1.74.0(npm @copilotkit/react-core 1.74.0):各 SDK 可消费来自多个容器的 learned skills,把技能资产从单运行时扩展到可组合的多容器供给;Web Inspector 支持定向 What's New 通知,并跟踪 launcher HUD 的曝光与操作。修复包括:threads drawer 不再因未解析 entitlement 锁死、未真正打开的 socket 停止刷新 realtime 凭证、React 侧停止逐条 message 状态克隆与虚拟滚动拉扯、授予空权限的 Memory policy 不再直接导致 run 失败。

CopilotKit 1.74.0:跨 SDK 消费多容器 Learned Skills,Web Inspector 定向 What's New 与 HUD 埋点

核心要点速览

  • 发版:v1.74.0 / npm @copilotkit/[email protected]
  • Skills:跨 SDK consume learned skills from multiple containers(#7384),技能可组合供给
  • Inspector:定向 What's New 通知(#6956)+ launcher HUD 曝光/操作埋点(#7376)
  • 稳健性:未打开 socket 不再刷 realtime 凭证;空授权 Memory policy 不再 fail run
  • React:停止 per-message state cloning 与虚拟滚动拉扯,降低长线程 UI 抖动
阅读全文
关联模型 / 智能体 / 厂商:
AD赞助内容

DSPy 3.4.0:经 TypeSafe 接入 Jev 决策类型,ReAnchor 校准阈值,LM 层迁向原生 lm15 引擎

Stanford NLP 于 2026-09-25 发布 DSPy 3.4.0:通过 TypeSafe 客户端接入 Jev,新增实验性 Noul/Choice/Score 决策类型与 ReAnchor 校准器;LM 层以 lm15 原生引擎为默认优先,并提供 LocalInterpreter、异步 ReActV2。官方称 3.4 为 LM 过渡版,3.5 为迁移截止。

DSPy 3.4.0:经 TypeSafe 接入 Jev 决策类型,ReAnchor 校准阈值,LM 层迁向原生 lm15 引擎

核心要点速览

  • Jev:pip install 'dspy[typesafe]==3.4.0' + TypeSafe("jev-latest");输出可用实验类型 Noul / Choice[...] / Score[...](含 .probability / .confidence)(#10463)
  • 校准:实验性 ReAnchor 在不改写指令的前提下拟合阈值阈值 / Score 切分 / Choice 权重,须过训练分与 held-out fold
  • LM:默认 engine="auto" 优先原生 lm15;可 engine="lm15" 强制或 engine="litellm" 兼容;register_provider(...) 声明 OpenAI/Anthropic 兼容 HTTP(见 迁移指南)
  • 解释器:dspy.LocalInterpreter 用当前 Python 持久子进程跑可信代码(非安全沙箱);RLM 改为仅关键字 interpreter_factory=(#10238)
  • 时程:3.4 过渡、3.5 迁移截止;遗留 messages= / 自定义 LM 仍可用但有 deprecation;文档迁 Zensical(Material for MkDocs EOL 叙事)
阅读全文
关联模型 / 智能体 / 厂商:

腾讯联合浙大开源 IterSynth:首创解耦式深度搜索智能体范式,复杂长程检索推理表现超越现有 8B 模型

腾讯与浙江大学 REAL 实验室(@huggingface)联合开源了革命性的深度搜索智能体框架 IterSynth(arXiv: 2609.29444,GitHub: Tencent/IterSynth)。针对传统 ReAct 智能体将规划、证据搜集与信息归纳单一绑定的角色耦合问题,以及多轮检索中历史上下文无限堆积导致的注意力污染难题,IterSynth 首创“规划者(Planner)与归纳者(Synthesizer)动态解耦 + 演化式摘要状态机”范式,并提出角色解耦强化学习算法(RDPO)。在 BrowseComp 与 Xbench-DS 等顶级长程深搜基准中,IterSynth-8B 平均得分达 50.7,显著超越同等规模所有前沿 Agent。

腾讯联合浙大开源 IterSynth:首创解耦式深度搜索智能体范式,复杂长程检索推理表现超越现有 8B 模型

核心要点速览

  • 彻底打破传统 ReAct 智能体单一策略模型强行兼顾搜索规划与长文归纳的严重能力内卷。
  • 提出基于状态摘要机(Evolving Summary)的上下文压缩方案,杜绝网页多轮抓取产生的海量噪声污染。
  • 提出角色解耦强化学习(RDPO),结合最终收益与多轮过程细粒度 Rubric 奖惩,信用分配精准度大幅提升。
  • IterSynth-8B 在 BrowseComp、Xbench-DS 等基准评测中跑出 50.7 分,且能作为通用 Prompt 范式直接赋予闭源大模型。
  • 完整训练脚本、评测基准与模型权重已在 GitHub 和 Hugging Face 遵照宽松开源协议全量公开。
阅读全文

Builder.io 开源 Agent-Native:人机共享同一套 defineAction,自动暴露 HTTP/MCP/CLI

@Terminalchai 介绍 Builder.io 开源的 Agent-Native(github.com/BuilderIO/agent-native):用 defineAction + Zod 定义一次动作,智能体当 typed tool、React UI 经 useActionQuery 调用,并自动暴露 HTTP/MCP/CLI;人机共享页面状态与数据,无需像素级 computer-use。可用 npx @agent-native/core create 快速起步。

核心要点速览

  • defineAction 一次定义:智能体工具与 React UI 共用。
  • 自动暴露 HTTP、MCP 与 CLI 端点。
  • 人机共享页面状态与数据,免像素级 computer-use。
阅读全文

Safari 27 内置 MCP 服务器转正:Claude Code / Codex 可直接驱动真实 Safari 窗口调试

Sebastien Lorber 指出 Safari 27 内置 MCP 服务器已结束测试、可供编码智能体使用。WebKit 官方说明该 MCP 可把智能体接到真实 Safari 窗口,读取 DOM、网络请求与截图等调试信息,便于在 WebKit 环境做验收;内容在本地处理,不上传至 Apple。此前智能体测 Safari 常需改走 Chromium,现在可直接用 safaridriver --mcp 一类路径对齐用户侧渲染。

核心要点速览

  • Safari 27 内置 MCP 已出 beta,可接 Claude Code、Codex 等 MCP 客户端。
  • 智能体可读 DOM、网络与截图,在真实 Safari 窗口验收 WebKit 行为。
  • 本地运行、不碰密码/历史;调试内容进所选智能体,不到 Apple。
阅读全文
关联模型 / 智能体 / 厂商:

Agent Conf 2026 华沙峰会:行业共识由 Prompt 实验全面转向生产级可靠编排架构

在波兰华沙举办的 Agent Conf 2026 全球峰会上,与会顶级专家达成明确共识:单一 Prompt 与简单 ReAct 循环已无法胜任现代复杂软件交付。行业正全面演进为以确定性状态机、动态拓扑图编排、可回滚版本管理与沙箱双重验证为核心的工业级智能体架构体系。

核心要点速览

  • 标志着软件工程智能体从「聊天助手」全面向「工业级状态机协作系统」跨越
  • 重点推广可回滚快照与沙箱自愈机制,彻底阻断智能体误操作造成的灾难性破坏
  • 发布多项跨框架开源 Agent 评测基准,规范长程任务完成率考核标准
阅读全文
关联模型 / 智能体 / 厂商: