EdTech 全球风向标 | 2026-11-15 · AI Coding × 具身智能特辑

jiaojianli.com

EdTech 全球风向标 | 2026-11-15 · AI Coding × 具身智能特辑

全球 10 条最有价值的 AI 动态 · 焦建利 每日策展

本期关键词是「口径」。AI Coding 这边,评测口径变严(FrontierCode 2.0 让均分掉 16 个点)、工具调用口径变宽(一段程序代替十次往返)、信任口径被推到机器码层(650 万行 Lean 证明);具身智能那边,所有人问的是同一个问题——通用模型能不能直接当大脑。OpenAI 用「解散机器人团队」回答「能」,优必选用六组真机测试回答「还差一层」。同一周里两种答案并存,恰恰是这项技术最好看的地方。

AI Coding · 工具调用范式

01Claude Code 上线 Code Mode:让模型写一段 JavaScript 调用自己的工具,十次往返压成一次

Anthropic 在 Claude Code v2.1.323 中推出实验性功能 Code Mode:模型不再逐个调用工具、等返回、再决定下一步,而是直接写一段 JavaScript 程序,在程序内部串联搜索、读写文件、跑测试等自己的工具,一次执行完成多步任务。官方的定位很直接——减少多步工作的往返次数,过去要十次工具调用,现在一段程序跑完。功能默认关闭,需用户手动开启。

代价是可见性:一段程序在执行前,比单次工具调用更难审阅,这也是 Anthropic 没有把它设为默认的原因。同一周还有 n8n 的本地开源智能体 Nod(Apache 2.0,跑在自己机器上、模型自选)和 Antigravity 的多模型编排——四件事里有三件都在回答同一个问题:活到底在哪里跑、怎么跑更省。

★ 值得关注:工具调用从「一次一步」变成「一次一段程序」,是编码智能体的第三次架构跃迁(单轮对话 → 工具循环 → 代码编排)。它买来的是速度,改掉的是审计对象:审批门里看到的不再是一条命令,而是一段程序。对任何要把智能体放进生产流程的团队,日志、审批与回滚策略都得跟着重写。

AIToolsRecap · AI News, 14 November 2026 ↗

AI Coding · 评测口径

02编程智能体指数 v2.1 换榜:Claude 两款模型并列 58 分,同一档位单任务成本差 30 倍

Artificial Analysis 于 11 月 14 日发布 Coding Agent Index v2.1,用更难的 FrontierCode-AA 2.0(132 个真实仓库任务,按「维护者会不会合并这个补丁」评分)替换旧版,并把 Terminal-Bench 升到 4.1、加固验证器以防刷分。结果是 23 个配置在两项基准上全线掉分:FrontierCode 均分从 45% 降到 29%,综合分平均降 5 分。

榜首并列 58 分:Claude Code 里的 Fable 5.2(high/xhigh)、Opus 5.5(max),以及 Devin Fusion CLI 的「Opus 5.5 Max + GPT-6 Luna High」双模型组合。更值得看的是成本列:同分区间内单任务花费从 1.51 美元(Codex + GPT-6.1 Sol,得分 52)到 44.22 美元(Fable 5.2 max,得分 56),相差约 30 倍。Fable 5.2 把推理强度从 high 拉到 max,分数反而从 58 掉到 56——16% 的尝试撞上时间上限记零分,输出 token 还多出约三倍。

★ 值得关注:这份榜单同时打破两个幻觉:一是「分数越高越好」,二是「想得越久越准」。真该抄的作业是「按任务选档位」——日常任务 high 就够,max 只留给少数硬骨头。对选型与采购,单任务成本这一列比总分更有决策价值;对教学,它也是一份现成的案例:benchmark 怎么设计,直接决定谁的分数好看。

Artificial Analysis · Coding Agent Index v2.1 公告 ↗

AI Coding · 多模型编排

03Antigravity 上线 Orchestrator:一个任务里让两个模型分工,额度少花 24%、速度快 19%

谷歌 11 月 12 日向 AI Ultra 订阅用户开放 Antigravity 的 Orchestrator:同一个会话里不再把任务整包交给单一模型,而是把前沿模型与快速执行模型配对。Gemini 4 Carbon 负责定计划、拆任务,新发布的 Gemini 4 Hydrogen 负责写代码改动、跑测试;执行受阻时 Carbon 再介入修正计划。

官方自测数据:在 Terminal-Bench 4.0 上,这种组合的任务成功率接近 Carbon 单独完成的水平,额度消耗平均减少 24%,完成速度平均快 19%。数据来自谷歌自测,目前仅面向 Ultra 订阅用户,基础模型仍可手动选择。

★ 值得关注:这是「模型分工」第一次被产品化,而不是靠用户手工切换模型。它隐含一个判断:规划与执行是两种不同能力,不该用同一个模型、同一个价位去承担。当路由器成为产品的一部分,选型问题就从「哪个模型最强」变成「哪套编排最省钱」——这对预算有限的学校与中小企业尤其现实。

AI News Log · 谷歌 Antigravity Orchestrator ↗

AI Coding · 可信验证

04DeepMind 用 AI 代理把 Signal 加密实现证到机器码:4 周、650 万行 Lean 证明

11 月 10 日,Google DeepMind 发布 AlphaProof Code。5 名研究者与 40 至 80 个并行的证明代理(跑在 Gemini 4 Carbon 上,部分规格由 Claude Opus 5.5 参与起草)合作,把 Signal 的 libsignal 库——未经修改的 Rust 版本,编译成 AArch64 可执行文件——的安全性证明一路追到机器码层。四周产出约 650 万行 Lean 证明,建立在约 2.6 万行人工审核过的形式化规格与指令集语义之上。

证明覆盖 PQXDH 后量子握手与 Triple Ratchet,确立了前向保密、身份认证、入侵后恢复等性质。为检验方法本身有效,团队把两个已修复的历史漏洞重新植入隔离版本,系统两次都给出了「该代码不安全」的机器检查证明——它不是盖章机,而是能识别错误的验证器。只有约 1% 的代码需要人工额外复核。

★ 值得关注:形式化验证过去是「人年」级别的投入(seL4 微内核约 20 人年),现在是「4 周 + 5 个人」。这不等于 AI 能证明一切——范围只覆盖一对一会话的特定构建,群聊、密钥生成仍在界外,底层密码运算也仍以安全假设为前提。但门槛的量级变化已经发生。项目负责人 Chaudhuri 的判断值得记住:下一个前沿不是证明,而是规格——决定「要证什么」,成了最贵的一步。对软件工程课程,这是最直接的一课:教学生写清不变量,比教他们跑测试更值钱。

Google DeepMind · Introducing AlphaProof Code ↗

交叉 · 路线之争

05OpenAI 解散独立机器人团队:押注通用模型直接当「大脑」

《财富》11 月 13 日披露、OpenAI 随后确认:解散独立机器人团队,研究人员并入核心研究团队向 Mark Chen 汇报,应用机器人与硬件团队转入 Brockman 管辖的应用部门。官方理由是通用模型已能直接控制机器人——GPT-6 Astra 驱动智能体的模拟操作成功率达 74.8%,在该榜单上领先专用模型。OpenAI 强调并未退出机器人领域,2027 年仍计划首次公开展示自有人形机器人。

反证出现在同一周。优必选围绕 GPT-6 Astra 做了六组真机与仿真测试:Astra 直接抓魔方、仿真搬篮子、直接叠碗均未完成;改成「通用模型负责理解与规划 + 自研 Thinker-VLA 执行」的协同方案后,福袋抓取、绕障移动、叠碗才跑通,而且 Astra 的 Token 消耗与 API 估算费用分别下降 83.6% 和 74.2%。

★ 值得关注:这是一次组织层面的路线表决:通用模型究竟能不能直接当机器人大脑。模拟榜单说「可以」,真机测试说「还差一层」。对观察者的价值在于分清两种叙事——「通用模型吃掉一切」是资本故事,「通用模型规划 + 专用模型执行」才是当下能跑通的工程答案。判断具身智能团队成色,看它有没有专用动作模型,比看它接入了哪个大模型更准。

腾讯新闻 · OpenAI 撤销独立机器人团队 ↗

具身智能 · 模型

06Gemini Robotics 2.5:奔驰产线零件分拣 96%,丝带蝴蝶结成功率从 0 到 70%

11 月 10 日 CoRL 2026 上,Google DeepMind 发布新一代视觉-语言-动作模型 Gemini Robotics 2.5。200 余项任务评测中,灵巧操作的提升最刺眼:夹子取糕点 5%→100%,解丝带蝴蝶结 0%→70%,挂开衫 0%→62%,叠裤子 0%→40%;整体执行速度快 20%–30%,障碍物周边安全任务完成率提升 33%、人员附近提升 43%。

真实产线的验证更有分量:与美国 Apptronik、梅赛德斯-奔驰合作,在德国辛德尔芬根、匈牙利凯奇凯梅特的在用汽车产线上,Apollo 2 人形机器人从散装料箱中按装配顺序拣取金属支架、放入排序料盒,成功率 96%。架构是双模型协同——Gemini Robotics ER 负责跟踪整体流程、判断环境,2.5 作为动作模型直接控制手臂与灵巧手,并自主修正位置偏差。

★ 值得关注:96% 是「接近工业级」,不是工业级。DeepMind 总监 Kanishka Rao 直言,弥合最后 4% 是一条「艰难的路」。柔性、可变形物体(丝带、衣物)长期是机器人操作的死穴,这次从 0 跨到 40%–70%,说明数据管线与仿真引擎(Gemini 4 Argon 加速)正在啃最硬的部分。汽车产线已成为人形机器人商业化的核心试验场,也是检验「真能干活」的第一块试金石。

国际科技创新中心 · 谷歌 DeepMind 发布新一代 VLA 模型 ↗

具身智能 · 开源基座

07英伟达开源 GR00T 2:从 VLA 转向「世界-动作模型」,技能尝试跨本体迁移

11 月 9 日 CoRL 2026 上,英伟达发布 GR00T 2——基于 Cosmos 的开源「世界-动作模型」(WAM),同时预测「画面接下来会变成什么样」和「机器人接下来该做什么」。训练数据包括 40.27 万小时第一人称人类视频、1.02 万小时手持夹爪演示(2897 项任务)、2.35 万小时机器人遥操作,并开源 10 万小时人类第一人称数据集 Human-1M-100K。

关键指标:50 项任务零样本平均成功率 40%,50 项中有 40 项至少成功过一次;每任务给 1 次示范平均 71%,给 5 次升到 95%。最核心的主张是跨本体迁移——同一项技能换一种手臂、夹爪或传感器仍然可用。配套开源 Isaac Lab 3.0(Newton 后端,可仿真可变形物体,训练吞吐约为旧版 2.5 倍)。GR00T 2 与轻量版 GR00T 2 Turbo 计划于 12 月开源。

★ 值得关注:具身智能最贵的不是模型而是数据:每换一种本体就要重训一遍,是行业最大的成本黑洞。跨本体迁移若站得住,机器人训练就从「给一台机器编程」变成「教一项可迁移的技能」。但社区已有质疑(Samarth Urs):40% 这个数字被营销放大——任务是筛选过的,而且只要求每项至少成功一次。读这类发布,先问三件事:任务怎么选、允许几次尝试、需要多少微调。

Nation Press · Nvidia Unveils GR00T 2 ↗

具身智能 · 资本

08思灵机器人 5 亿美元 F 轮、估值 85 亿美元:软银领投,英伟达跟投

11 月 12 日,总部位于慕尼黑的思灵机器人(Agile Robots)宣布完成 5 亿美元 F 轮融资,投后估值 85 亿美元,累计融资达 20 亿美元。本轮由软银集团领投,英伟达、日立集团(含 Hitachi Ventures)、T.Capital 等跟投,资金用于扩大产能、加码美国市场与新产品开发。

与「本体叙事」不同,思灵的底子是工业交付:2018 年由德国航空航天中心(DLR)孵化,3500 余名员工、2000 余名研发专家、650 余项专利申请,已在汽车、消费电子、物流等场景部署超过 2 万套机器人解决方案;2026 年初在慕尼黑附近启用新基地,年产能最高 1 万台足式与轮式人形机器人。10 月还与英伟达联合发布科研平台 Agile ONE SN,原生支持 GR00T VLA 与全身控制器,计划 2027 年初上市。

★ 值得关注:同一周,OpenAI 撤掉机器人团队,思灵拿到 85 亿美元估值——两份相反的答案,恰好说明资本正在按「交付体系」而非「外形」下注。2 万套部署、1 万台年产能、20 亿美元累计融资,这三个数字拼出的是一条能算账的曲线。而「物理 AI」这个提法本身也值得玩味:它把机器人公司重新估成了 AI 公司。

腾讯新闻 · 思灵机器人完成 5 亿美元 F 轮融资 ↗

具身智能 · 大脑

09第五代贡嘎发布:机器人开始「记住家里发生过什么」

11 月 11 日,成都人形机器人创新中心发布第五代贡嘎,把「结构化感知—时空记忆—因果规划—动作推演—执行反馈」串成一条完整链路。核心是自研的物理时空记忆引擎:统一存储空间坐标、物体物理状态、时间演化与历史交互经验,能长期维护物体身份一致性,支持时序检索、多轮记忆对齐与冲突自动消解——简单说,它记得东西原来放在哪、什么时候被挪过、上次操作成没成。

决策层引入因果关联推理,解析任务内的因果依赖、动作前置条件与自身资源约束,自主完成层次化拆解;环境突变时实时重规划,而不是停机。执行层用潜空间动作条件世界模型,先做多步未来状态预测与候选动作仿真,再结合轨迹优化与闭环控制修正偏差。家庭被定为主战场,因为那里比工厂更杂乱、变化更多、容错更低。

★ 值得关注:具身智能正从「会做一个动作」走向「能记住、会规划、能连续工作」,卡点从来不在单个模型,而在记忆与规划能否端到端接上。贡嘎把「记忆—因果—世界模型」三件套合成一体,代表国产人形机器人大脑从演示型向长程自主作业型的一次跃迁。对教育场景的直接启发是:想让机器人「教一次就记住」,靠的正是这种时空记忆,而不是一个更大的模型。

中国产业经济信息网 · 第五代贡嘎人形机器人正式发布 ↗

具身智能 · 商业化

10双十一机器人「考场」:人形销量同比涨 700%,分拣机器人峰值 1500 件/小时

京东数据显示,双十一期间平台智能人形机器人销量同比增长 700%,机械臂、灵巧手等趋势品类成交额同比增长超 10 倍。松延动力在 10 月 9 日至 11 月 11 日拿下京东人形机器人品类销量与销售额双第一,其小布米 Lite 版销量环比增长 142.3%、Pro 版增长 45.5%——9998 元的定价,把双足人形第一次拉进万元以内。

另一端在物流一线:星动纪元的具身分拣机器人在中国邮政、顺丰的十几个物流中心跑出峰值 1500 件/小时。11 月 13 日,宇树发布首款轮式人形机器人 G1-D,定位为一站式数采平台(采集、处理、标注、审核、数据资产管理),在双足路线之外另开一条「场景适配」的产品线。

★ 值得关注:大卖之后真正的考题是交付与产线。万元以内的价格是入场券还是亏损陷阱,取决于成本结构与交付能力,而不是首发销量;松延自己也承认,退货率现在给结论「为时过早」。更值得注意的信号是产品形态开始分化:轮式攻平整场景、双足攻复杂地形,而数采平台直接服务于具身大模型最稀缺的真实动作数据——卖机器人的同时,也在卖数据入口。

科创板日报 · 机器人双十一「考场」 ↗

EdTech 全球风向标 · 每日 AI Coding × 具身智能策展 · jiaojianli.com
2026-11-15