今日 AI 圈呈现"具身智能基座模型时代"与"AI Coding 桌面入口战"双主线爆发。雷军亲宣小米具身基座模型 Xiaomi-Robotics-1，国产基座模型进入"千卡训练+万小时数据"硬碰硬阶段；OpenAI Codex 单周涨 2.5 倍并入 ChatGPT 桌面端，AI 编程流量入口之争已白热化。下半年产业节奏全面提速。

小米发布具身基座模型 Xiaomi-Robotics-1：Robocasa365/RoboDojo 全球第一

雷军今日正式官宣小米具身基座模型 Xiaomi-Robotics-1，初步验证具身基座模型领域的 Scaling Law 效应。 模型基于 10 万小时真实操作预训练数据 + 跨本体数据后训练，让不同机器人本体可"开箱即用、一句话直接干活"。在 Robocasa365、RoboDojo 两大权威具身榜单综合排名全球第一。小米机器人团队在"本体、数据、模型"三方面完成完整布局，下一步将推动机器人走向更开放、更复杂的真实世界。

值得关注的原因： 继蚂蚁灵波 LingBot-VA 2.0、智源 Orca 之后，小米以"消费电子大厂+海量终端场景"身份入局具身基座模型。10 万小时数据规模 + 全球第一榜单成绩，证明国产具身智能已从单点技术突破进入"基座模型硬碰硬"阶段。雷军亲自站台意味着小米将具身作为集团战略级方向，与小米汽车、手机形成 AIoT 闭环。

• 来源：雷军：小米具身基座模型 Xiaomi-Robotics-1 今天正式发布

Codex 周活突破 800 万：史诗级更新并入 ChatGPT 桌面端

OpenAI 今日确认 Codex 与 ChatGPT Work 合并后周活突破 800 万，单周使用量增长 2.5 倍、5 个月涨 7 倍。 同时 Codex 正式并入 ChatGPT 桌面应用，新增 Chat/Work/Codex 三模式，模型分 Sol（旗舰）、Terra（均衡）、Luna（轻量）三档。GPT-5.6 上线后产品整合进桌面端，流量洪峰迫使上下文窗口从 37.2 万压缩至 27.2 万 token，Anthropic 随即延长 Claude Fable 5 促销并提升 Codex 周限额 50%。Codex 与 Work 共用智能体额度，本地项目不自动同步网页版，旧版 Classic 停止更新。

值得关注的原因： Codex 周活 800 万 + 单周 2.5 倍增速标志着 AI 编程工具首次跨过"亿级用户入口"门槛。桌面端整合意味着 OpenAI 正式把 AI 编程纳入 ChatGPT 主应用而非独立 IDE，对 Cursor、Claude Code 桌面端形成正面冲击。三档模型分层（Sol/Terra/Luna）也预示着 AI 编程正快速从"单一旗舰"走向"分层按需"的产品矩阵化阶段。

• 来源：Codex 周活突破 800 万 单周涨 2.5 倍
• 来源：Codex 史诗级更新并入 ChatGPT 桌面端

小鹏灵犀平台：AI 代码覆盖率 70%，从"辅助写代码"到"AI 自主开发"跃升

在今日举办的亚马逊云科技中国峰会上，小鹏集团首次系统披露其"灵犀"AI 开发平台运营数据：AI 应用中心代码覆盖率已超过 70%，使用灵犀的不仅有程序员，还包括产品经理、项目经理和运营人员。 平台基于 AWS Kiro 作为编程内核，集成 Amazon Bedrock 基础模型能力，覆盖需求分析、代码生成、自动调试到一键部署的全流程。在全自主模式下，AI 不只写代码，还负责发现错误、反复测试，直到通过验证才触发部署，工程师角色从执行者变为监督者。

值得关注的原因： 小鹏数据及 AI 中台负责人何锐邦提出一个犀利判断："AI 生成代码的速度早已远超人类审查的速度，推广 AI 编程工具却仍依赖工程师逐行审查，会让工程师成为整个链路最慢的环节。"灵犀的 70% 覆盖率验证了"AI 治理 AI"的飞轮可行性，也印证了"驾驭工程（Harness Engineering）"在企业级落地中的核心价值。这是国产大厂首次公开具说服力的 AI 编程全流程接管案例。

• 来源：亚马逊云科技中国峰会观察：Agentic AI 规模化落地

Meta Muse Spark 1.1 杀入 Agentic Coding：Zuckerberg 三年后首发重磅模型

Meta 今日发布 Muse Spark 1.1，定位"最强大的 Agent 模型"专攻 Agentic Coding，扎克伯格为此打破三年社交媒体沉默亲自发帖站台。 模型在多应用 computer-use 工作流中表现强劲，可长时间保持上下文、智能选择脚本执行/直接 UI 操作/批处理等不同路径，人工干预极少。Meta AI 负责人 Alexandr Wang 称 Spark 1.1 是"当前 agentic 任务与编码最强的模型"，已通过 Meta API 公开预览。同步训练的更大模型 Watermelon 已在关键基准上对标 GPT-5.5。此次发布与 Meta 7 月 6 日关闭 Llama API 服务形成战略闭环：开源 Llama 服务社区，闭源 Muse 服务 Meta 自身生态（WhatsApp/Instagram/Facebook/智能眼镜）。

值得关注的原因： Meta 此次动作标志着三大科技巨头（Google/Apple/Meta）全部完成"自研闭源旗舰模型 + 开源社区版"的双轨布局。Muse Spark 1.1 直接对标 OpenAI Codex、Claude Code 在 Agentic Coding 赛道的竞争。Zuckerberg 亲自下场发推，释放 Meta 全力押注 Coding Agent 的明确信号。

• 来源：AI Daily Digest — July 16, 2026: Meta Muse Spark 1.1

WAIC 2026 倒计时 1 天：超 200 家具身企业参展，机器人从炫技走向车间

2026 世界人工智能大会（WAIC）明日在上海开幕（7 月 17-20 日），超 1100 家企业参展，其中具身智能与人形机器人相关企业超 200 家，智元、傅利叶等头部厂商将携新品首发。 与往届"炫技展示"不同，本届 WAIC 更强调车间级真实部署能力：灵巧智能今日官宣数亿元 A 轮融资（上海电气入局并落地产业合资），德壹医疗完成数千万元 A++ 轮（年产万台基地建设），启明创投披露已跟踪国内具身智能企业 370 多家。同期报告显示，2026 年中国具身智能市场预计 1.09 万亿元，但全球高质量物理交互数据仅约 50 万小时，训练通用模型需千万小时级，缺口超 99%。

值得关注的原因： WAIC 2026 是具身智能从"实验室炫技"走向"车间量产"的关键节点。200+ 参展规模 + 头部厂商新品首发 + 多笔亿元级产业融资同步出现，表明具身智能已进入"产品-数据-场景"三要素正循环。但 99% 数据缺口仍是行业核心瓶颈，决定下一阶段谁能跑出来的是高质量真机数据的获取与合成能力。

• 来源：WAIC 汇聚超 200 家具身企业
• 来源：灵巧智能获数亿元 A 轮融资
• 来源：启明创投跟踪 370 家具身企业

今日 AI 领域双线齐发：具身智能方向，小米开源 380 亿参数世界基础模型 U0，以"数据永动机"破解机器人训练数据饥渴；AI Coding 方向，美团开源 1.6 万亿参数 LongCat-2.0 冲击 Agentic Coding，行业报告揭示 AI 已编写 46% 代码，Claude Code 凭原生 Computer Use 重夺榜首。

小米开源 Xiaomi-Robotics-U0：380 亿参数世界基础模型，具身智能进入"数据永动机"时代

小米机器人团队正式发布 Xiaomi-Robotics-U0——一个 380 亿参数的多模态自回归世界基础模型。该模型基于 EMU3.5 和 Qwen-3-32B 构建，采用统一的"下一个 token 预测"架构，将文本生成图像、图像编辑、场景生成、具身迁移、具身视频生成五大任务统一在同一个 token 空间内。最核心的突破在于数据增强效果：用 U0 生成的合成数据训练 π₀.₅ 机器人操作策略后，真实世界分布外（OOD）任务成功率从 36.9% 飙升至 63.2%，提升 26.3 个百分点。模型权重、推理代码及 FlashAR+ 加速方案（单张 H20 上 5.44 秒/张图，比 AR eager 快 82.86 倍）已全部上线 Hugging Face，提供 34B 基础版和 38B FlashAR 版两个检查点。

值得关注的原因： 具身智能长期受限于真实世界交互数据稀缺且采集成本极高。U0 的本质是一个"物理世界模拟器"，能生成高质量、多视角一致、符合物理规律的机器人操作场景数据，将机器人训练从"人工录制"推向"AI 想象"范式。这是继 NVIDIA GR00T、蚂蚁灵波 LingBot 之后，又一款重量级开源世界模型，且是首个将图像/视频/具身合成统一在自回归架构下的方案。小米从 2 月开源 VLA 模型到 7 月发布世界模型，正在构建完整的开源机器人模型矩阵。

信息来源： 网易 - 君伟说

美团开源 LongCat-2.0：1.6 万亿参数 Agentic Coding 模型，国产万卡集群全流程训练

美团技术团队正式开源 LongCat-2.0，总参数量 1.6 万亿（1.6T），平均激活 480 亿参数（动态范围 33B-56B）。这是业界首个在国产万卡集群（5 万张卡）上完成全流程训练和推理的万亿参数级大模型。LongCat-2.0 引入两项架构创新——LongCat 稀疏注意力和 N-gram Embedding，原生支持 100 万 token 上下文窗口，专为 Agentic Coding 任务优化，聚焦代码理解、生成与执行的稳定性。同期开源的还有 VitaBench 2.0（首个长期动态用户建模基准）和 WBench（首个交互式视频世界模型多轮评测基准）。推理代码已针对国产 GPU 硬件优化，大幅降低大规模编码模型的部署门槛。

值得关注的原因： 这是国产算力从"可用"走向"好用"的标志性事件——5 万张国产卡完成万亿参数模型的全流程训练，证明国产 GPU 集群已具备前沿大模型训练能力。LongCat-2.0 明确将 Agentic Coding 作为核心场景，与 GLM-5.2、Qwen3-Coder 形成国产编码模型三角格局。叠加 VitaBench 和 WBench 两个评测基准同步开源，美团正在从"模型开源"升级为"评测+模型"双轨开源策略。

信息来源： AIToolly | 美团技术博客

行业报告：AI 已编写 46% 代码，Claude Code 凭原生 Computer Use 重夺编程工具榜首

The CODEW 本周开发者 roundup 引用行业报告指出，AI 现已生成活跃开发者产出代码的 46%。连锁效应已在就业数据中显现：15 家最大科技公司的初级技术岗位招聘在 2023-2024 年间下降 25%，软件开发岗位发布量较疫情前低 36.4%。亚马逊 CTO Werner Vogels 本周表态称，当前最重要的技能不再是写代码，而是审查和验证 AI 产出的代码，尤其在受监管行业中"你不能对监管机构说'哦，是 AI 犯的错'"。在工具排名方面，Claude Code 成为唯一具备原生 Computer Use 能力的 CLI 编程工具（基于 Fable 5 模型），可直接在终端内打开应用、浏览网页、点击界面，WebDev Arena 得分居所有工具/模型组合之首；盲审中其产出被偏好 67%，而 Codex 仅 25%。与此同时，OpenCode 以"75+ 模型供应商接入 + 完全气隙部署"为卖点，在 SpaceX 600 亿美元收购 Cursor 后获得更多关注。

值得关注的原因： 46% 这一数字是 AI Coding 渗透率的首个硬量化指标，标志着 AI 编程已从"辅助工具"跨入"主力生产者"阶段。Claude Code 的原生 Computer Use 能力意味着 AI 编程工具的竞争维度从"代码生成质量"扩展到"全桌面操作能力"。而就业数据的下滑则为行业敲响警钟——初级开发者的价值定位需要重新思考。亚马逊 CTO 的表态则预示着"AI 代码审查"将成为受监管行业的刚需技能。

信息来源： The CODEW

小米机器人进厂新进展：部分场景 98% 成功率逼近人工水平

7 月 14 日，小米披露旗下人形机器人在汽车工厂的最新进展。经过 4 个月迭代，小米机器人在自攻螺母上件工站的双侧作业成功率从 90.2% 提升至 98%，距离人工作业合格率仅差 1 个百分点。团队同时启动了中控台侧盖板排序和料箱折叠回收两项新任务，成功率均已达到 90%。其中，中控台侧盖板排序工站首次在汽车工厂实现了柔性工件的长时连续作业。这一进展与当日发布的 U0 世界基础模型形成战略闭环——U0 提供合成数据引擎，工厂产线提供真机验证场景，构成"数据-模型-本体-场景"飞轮。

值得关注的原因： 98% 成功率意味着人形机器人在特定工业工站已接近人工替代门槛。这是继智元万台交付、宇树 G1 登 Nature 之后，国产人形机器人工业落地的又一关键数据点。小米的模式尤为值得关注：它同时拥有模型（U0）、本体（人形机器人）和场景（汽车工厂），是少数能实现全栈闭环验证的企业。柔性工件长时连续作业的突破，标志着机器人从"单次演示"走向"产线常驻"。

信息来源： 界面新闻

Codex 周活突破 700 万，OpenAI 关闭 Atlas 浏览器整合至 ChatGPT 与 Codex

7 月 14 日，Codex 负责人 Tibo 宣布 Codex 与 ChatGPT Work 活跃用户突破 700 万，单日新增 100 万，OpenAI 向所有用户发放一次可保留的额度重置。同期，OpenAI 宣布弃用独立 Atlas 浏览器，8 月 9 日硬关停，书签和浏览历史不会自动迁移。浏览器能力并非消失而是合并：OpenAI 将基于浏览器的 Agent 功能直接整合进 ChatGPT 和 Codex，配合 ChatGPT Work 处理跨文档、表格、幻灯片的多步骤项目。Codex 已有超过 100 万用户将其用于软件开发以外的工作。此外，Anthropic 同步测试 Claude Cowork 移动端远程控制功能，允许用户通过手机远程查看和控制桌面端自主智能体。

值得关注的原因： Codex 周活从 500 万到 700 万仅用了数周，AI 编程工具的用户增长仍在加速。OpenAI 关闭 Atlas 浏览器的本质是"能力收敛"——将分散的 Agent 入口整合到 ChatGPT + Codex 双旗舰中，与 OpenAI 三合一工作台战略一致。Anthropic 测试 Claude Cowork 移动端远程控制，则标志着 AI Agent 从"桌面坐班"向"移动遥控"延伸。两家巨头的动作共同指向一个趋势：AI 编程工具正在演变为全场景工作操作系统。

信息来源： 腾讯新闻 - AI 新榜 | The CODEW

今日 AI 圈两大主线集中爆发：具身智能领域迎来国产人形机器人登顶 Nature 的历史性突破，多条技术路线同步演进；AI Coding 工具持续进化，从工具成熟化到成本可控的系统性升级，国内外竞争格局加速重塑。下半年产业竞争已提前打响。

宇树 G1 人形机器人完成全球首例活体微创手术登 Nature

国际顶刊《Nature》今日刊发重磅论文，基于国产宇树 G1 通用人形机器人，完成全球首例通用人形机器人远程操控活体猪腹腔镜胆囊切除微创手术。 整套方案依托虚拟 RCM 视觉算法，无需专用手术机械臂，机器人可直接握持临床标准腹腔镜器械完成全套外科操作。单台机器人完整手术耗时 56 分钟，双机协同仅需 32 分钟。区别于达芬奇等专用手术设备，通用人形机器人部署灵活、适配多科室通用器械，可用于远程基层诊疗、战地医疗、应急手术支援，填补了通用人形机器人在精密医疗场景的空白，标志国产人形硬件技术实现国际顶刊级成果突破。

值得关注的原因： 这是全球首例通用人形机器人完成活体微创手术，意味着人形机器人不再局限于工业搬运和简单服务场景，而是具备了在医疗等高精度、高复杂度场景中落地的能力。宇树 G1 作为国产通用人形机器人平台，验证了从通用硬件到专业应用的技术可行性，为医疗机器人领域开辟了全新路径。

• 来源：物理 AI 迎量产前夜，国产人形机器人登顶 Nature

蚂蚁灵波发布 LingBot-VA 2.0：业界首个具身原生世界动作模型

蚂蚁集团旗下具身智能公司蚂蚁灵波发布 LingBot-VA 2.0，成为业界首个面向真实物理环境原生设计的具身世界动作模型。 该模型不再沿用行业常见的"视频生成模型微调"路线，而是基于自回归架构从零开始预训练，围绕动态建模、因果预测、实时执行等机器人与真实环境交互的核心需求进行原生设计。引入语义视觉—动作分词器（Tokenizer）作为全新视觉编码器，采用严格因果预训练范式，构建混合专家模型（MoE）架构，增强异步推理机制实现实时闭环控制。蚂蚁灵波 CEO 朱兴表示，这意味着机器人"大脑"研发正从"基于数字世界模型构建"转向"物理世界原生设计"。

值得关注的原因： 当前行业主流路线是将面向数字内容创作的视频生成模型微调适配机器人控制任务，但数字世界模型缺乏真实物理环境的随机性变化与因果关系理解，导致机器人执行效率低下。蚂蚁灵波的原生设计路线直击这一痛点，为具身智能从"数字嫁接"走向"物理原生"提供了关键技术路径选择。后续还需引入听觉、触觉等多维数据，让机器人"听得懂""触得着"，更全面地感知物理环境。

• 来源：蚂蚁灵波研发机器人"大脑"，换了个新思路

Claude Code 7月重大更新：沙箱浏览器、成本预算与交互式诊断

Anthropic 在 Claude Code v2.1.202–v2.1.207 版本中集中推送四项核心功能，标志着 AI Coding 工具从辅助终端向自主开发平台的关键跃迁。 沙箱内浏览器让 Claude 可自主浏览外部文档、验证 API 参考、拉取 Figma 设计规范，无需用户手动粘贴；交互式 /doctor 诊断工具从只读报告升级为可修复配置问题的交互式修复器，能发现未使用的技能与 MCP 服务器、量化上下文窗口开销、在去重本地 CLAUDE.md 后提出精简建议；每代理成本预算与检查点机制让团队可为单个代理设置支出上限，长周期任务可暂停、恢复或回滚；速率限制提升 50% 持续至 7 月 19 日。此外，Auto 模式新增会话篡改拦截与 rm -rf 执行前的确认机制。

值得关注的原因： 这一系列更新精准回应了企业级 Agent 开发的核心痛点：外部信息获取、配置健康度诊断、成本可控性与运行安全。沙箱浏览器解决了 Agent 无法自主验证外部信息的长期瓶颈；成本预算机制让多天长周期 Agent 项目从"不可控"变为"可管理"。对于正在构建复杂 Agent 工作流的开发者，这代表 Claude Code 正在从一个"智能终端"进化为一个可信赖的自主开发平台。

• 来源：Claude Code July 2026: Sandboxed In-App Browser GA

智源发布 Orca 通用世界基座模型：12.5 万小时无标签视频训练

智源研究院今日发布悟界・RoboBrain Orca 通用世界基座模型，依托 12.5 万小时海量无标注真实视频完成预训练，下游机器人任务综合性能追平各类专用具身系统。 模型创新"无意识观测学习 + 有意识语义学习"双路径框架，自动学习物体运动、场景时序、物理因果关系，内部构建统一世界表征空间，可灵活切换文本、图像、机器人动作输出头。无需额外动作标注即可适配工业、服务机器人跨场景泛化训练，大幅缓解行业机器人训练数据稀缺痛点。

值得关注的原因： 机器人训练数据稀缺是具身智能领域的核心瓶颈之一。Orca 证明不依赖机器人动作标签，仅通过海量无标注视频即可学习到足以追平专用系统的物理世界理解能力。这一"无标签学习"范式大幅降低了具身智能的训练门槛，为通用物理 AI 提供了轻量化的底层训练方案，对工业、服务机器人的快速泛化部署具有重要意义。

• 来源：物理 AI 迎量产前夜，国产人形机器人登顶 Nature

Agnes 发布 2.5-Flash 与 AgnesCode 桌面端：不限期免费策略

Agnes 大模型家族发布最新成员 Agnes-2.5-Flash，围绕 Coding、Agent 和日常开发场景整体优化，延续了不限期免费开放的策略。 该模型在代码理解、工程修复、多步骤任务执行及复杂推理上均有明显提升，定位开发者日常使用的主力模型。同步推出的 AgnesCode 桌面端将模型、Skill、应用连接、本地项目和生成物管理整合为一个桌面 AI 工作台，用户只需描述需求即可在项目内完成任务。Agnes 还预告了旗舰模型 Agnes-2.5-Pro，将面向复杂 Agent、专业开发和高难度工程任务，对标 Claude Opus-4.8、GLM-5.2。

值得关注的原因： 在 OpenAI 6 月初大面积误封 Codex 账号、Anthropic 对 Claude 上线强制 KYC 且不支持中国大陆证件的背景下，国内开发者对"可稳定使用、无需担心封号"的 AI 编程工具需求愈发迫切。Agnes-2.5-Flash 的不限期免费策略与 AgnesCode 桌面端的推出，为中文开发者提供了新的选择。实测显示其在游戏开发、多步骤工具调用、知识图谱构建和 PPT 制作等任务中表现可用，已具备从"玩具"进阶为"生产力工具"的潜力。

• 来源：Codex 封号、Claude 查证件，而它选择了免费且不限期

AI编程领域本周最大的变化不是某个新模型发布，而是一个"禁止AI直接写代码"的GitHub项目斩获21万星——AI编程的瓶颈已从模型能力转向工程纪律。具身智能方面，蚂蚁灵波发布首个物理原生动作模型、全球首个"机器人幼儿园"落地北京、国家级开源数据社区落子成都，三条线索共同指向同一趋势：从数据采集到模型训练，开源基础设施正在重塑具身智能的竞争格局。

Superpowers斩获21万星：AI编程从"模型变强"转向"工程纪律"

7月第一周，GitHub上一个名为Superpowers的项目以21万星登顶Trending，7天涨星9万，比第二名多出近5万。该项目不追求让AI写更多代码，而是强制AI遵循7阶段结构化工作流：需求澄清→计划审批→TDD实现→子Agent并行→审查收尾。其TDD铁律最为激进——未通过测试的代码会被Agent主动删除而非标记修改。同一周，TypeScript社区顶流Matt Pocock的skills项目冲到14.8万星，核心理念是"我不是让AI更聪明，而是让它更守规矩"。Google的agents-cli、小米MiMo-Code同周下场，AI编程规范工具正在成为行业标配。

值得关注的原因： 这标志着AI编程叙事的根本性转向——过去两年的主线是"模型越来越强，程序员越来越不重要"，而Superpowers的爆发证明瓶颈已从"AI能不能写代码"转移到"AI写的代码能不能被信任、被维护、被安全重构"。代码生成能力已过临界点，接下来的竞争焦点是工程治理。

信息来源： 21万星Superpowers：AI编程的最大变化不是模型变强

蚂蚁灵波发布LingBot-VA 2.0：首个具身原生世界动作模型从零预训练

7月10日，蚂蚁集团旗下蚂蚁灵波发布业界首个具身原生世界动作模型LingBot-VA 2.0。该模型基于自回归架构从零开始预训练，围绕动态建模、因果预测、实时执行等与物理世界交互的原始需求进行原生设计，标志着机器人基础模型从"基于数字世界模型构建"到"面向物理世界原生设计"的关键转变。在真机测试中，LingBot-VA 2.0不依赖任何外部拍摄设备即可完成与人类的多轮随机对打，展现出出色的执行速度和泛化能力。蚂蚁灵波选择了一条更艰难的路线——不嫁接数字世界模型能力，而是直面物理世界的动态性和不确定性。

值得关注的原因： 这代表了具身智能基础模型的路线之争：是继续"嫁接"大语言模型/世界模型的能力，还是从物理交互的原生需求出发重新设计架构。LingBot-VA 2.0选择了后者，如果原生路线被验证成功，将重塑具身智能基础模型的技术范式。

信息来源： 从零开始预训练，蚂蚁灵波发布具身原生世界动作模型LingBot-VA 2.0

全球首个"机器人幼儿园"在北京首钢园揭牌：图灵奖得主萨顿强化学习落地具身

7月10日，"触碰真实·自主进化——机器人幼儿园启幕大会"在北京首钢园举办，由他山科技与2024年图灵奖得主理查德·萨顿（Richard Sutton）团队联合共建的全球首个机器人幼儿园正式揭牌。"强化学习之父"萨顿现场阐释核心理念：AI发展应模拟儿童成长逻辑，依托持续交互试错实现自主进化，而非单纯模拟成人固化思维。他援引图灵经典理论指出，硬件技术成熟与成本下降让机器人实时试错、终身学习的愿景成为现实。他山科技依托触觉感知技术积累，为机器人幼儿园搭建安全试错、真实交互、即时反馈的成长环境，通过触觉预警和微秒级动态感知大幅降低自主学习成本。

值得关注的原因： 这是强化学习理论在具身智能领域的首个实体落地项目。当前具身智能的主流训练方式是"模仿学习"——机器人被动模仿人类示范动作。萨顿的RL路线主张机器人应像儿童一样主动试错、自主进化，如果这条路线跑通，将从根本上改变机器人训练的数据范式——从"采集型数据"转向"经验型数据"。

信息来源： 全球首个机器人幼儿园在北京首钢园揭牌

国家级具身智能开源数据社区OpenLET落地成都：6万分钟真机数据开放

7月11日，国内首个国家级具身智能开源数据集社区OpenLET成都工作组在电子科技大学揭牌成立。OpenLET由开放原子开源基金会发起、乐聚机器人牵头，联合宇树、阿里云、智源研究院等共建。截至目前已累计开源超6万分钟机器人真机数据集（含视觉-力触-动作全链路同步对齐信息），社区开发者规模接近16000人，累计支撑高校和科研机构模型训练与评估超2000次。开发者无需购买数十万元的专业机器人设备，即可调用开源数据训练算法、验证想法。成都工作组将联合川内40余所高校，补充西南专属垂域数据资源并开源，形成覆盖成渝双城经济圈的具身智能开源生态。

值得关注的原因： 数据是具身智能最大的瓶颈——真机数据采集烧钱且低效，高数据壁垒将绝大多数开发者挡在门外。OpenLET以国家级平台身份推动数据开源共享，相当于为具身智能搭建了公共"数据训练场"，直接降低中小企业和高校的研发门槛。成都工作组的落地标志着开源数据社区从北京单点向区域化扩展。

信息来源： OpenLET成都工作组正式揭牌成立

NVIDIA开放GR00T 1.7至Hugging Face LeRobot：Apache 2.0全栈机器人开发管线

7月7日，NVIDIA与Hugging Face联合宣布Isaac GR00T 1.7视觉-语言-动作（VLA）模型和Isaac Teleop远程操作框架正式接入Hugging Face LeRobot开源机器人库，采用Apache 2.0许可。GR00T 1.7搭载全新Cosmos-Reason2-2B（Qwen3-VL架构）骨干网络，在约3.2万小时真实人类示范和8000小时仿真数据上预训练，DROID-F6六步多阶段任务基准较1.6版提升61%。此次整合连接了NVIDIA的300万机器人开发者与Hugging Face的1600万AI构建者，提供从远程数据采集、仿真训练、评估到Jetson Thor部署的端到端开源管线。NVIDIA同时宣布Cosmos 3世界基础模型即将接入LeRobot，用于合成场景和轨迹生成。

值得关注的原因： 这是首个Apache 2.0许可的商业级VLA全栈开发管线。NVIDIA将基础模型、遥操作框架、仿真环境、部署工具链全部开源，意味着小型团队也能获得大厂级的机器人开发能力。配合即将接入的Cosmos 3世界模型，LeRobot生态正在成为具身智能领域的"Hugging Face moment"——开放共享加速从研究到工程的转化。

信息来源： NVIDIA and Hugging Face Bring New Models and Frameworks to LeRobot

今日AI领域呈现"模型能力突破+商业化格局重构"双主线：OpenAI GPT-5.6 Sol Ultra以64个子智能体并行协作，1小时内证明了图论领域50年未解的循环双覆盖猜想；智谱宣布"摸高计划"放弃两年短期变现死磕AGI，Databricks默认采用GLM-5.2作为编码引擎标志中国模型在实战场景中完成对Opus的性价比替代；Meta首次推出付费API Muse Spark 1.1以四分之一价格搅动市场；宇树G1登上Nature完成全球首例人形机器人活体微创手术，具身智能从工厂走向手术台。

GPT-5.6 Sol Ultra 1小时证明50年数学猜想

7月12日，OpenAI宣布旗下GPT-5.6 Sol Ultra模型在不到1小时内，成功生成了"循环双覆盖猜想"（Cycle Double Cover Conjecture）的完整证明。该猜想是图论领域悬而未决超过50年的重要难题。GPT-5.6 Sol Ultra调用64个并行子智能体协同工作，动态分配不同数学表示方法、代数思路和结构归纳路径，同时设置专门的"对抗智能体"负责寻找漏洞和边界情况。系统禁止联网搜索资料，要求必须通过对抗式验证。原本预留8小时计算时间，最终仅耗时约1小时即完成全部证明。

值得关注的原因： 这是AI模型首次在高等数学证明领域实现"多智能体协作+对抗验证"的自主推理范式。64个子智能体的并行调度和对抗式自检机制，标志着AI从"单点推理"迈向"科研工作流编排"，对AI Coding中复杂任务的Agent架构设计具有直接参考价值。

信息来源： IT之家

智谱发布"摸高计划"：两年不追求短期变现，死磕AGI四座高峰

7月11日，智谱创始人唐杰发布内部信《巨浪已来》，宣布启动"Touch High（摸高）计划"：未来两年不追求短期商业变现，集中资源投入四大方向——长程任务能力、自治智能体系统、完全自我训练、极致安全治理。唐杰将这四个方向定义为通往AGI道路上"必须翻越的山峰"。此举标志着智谱在GLM-5.2 CodeArena全球第一、Databricks采用为默认编码引擎等商业化成果的基础上，选择将资源压向基础研究而非短期营收。

值得关注的原因： 在OpenAI筹备7300亿美元IPO、Anthropic年化收入470亿美元反超OpenAI的行业背景下，智谱选择"反直觉"路线——放弃短期变现全力冲击AGI。这一决策折射出中国AI公司对竞争终局的判断：模型能力差距是生死问题，商业化可以等，但技术窗口不会等。对关注AI Coding和Agent自治系统的开发者而言，智谱的长程任务和自治智能体方向值得持续跟踪。

信息来源： 澎湃新闻/每日经济新闻/科创板日报

Databricks默认采用GLM-5.2作为编码引擎，性能持平Opus成本省34%

7月12日，Databricks在内部百万行级代码库上对编码Agent进行基准测试，发现智谱GLM-5.2与Anthropic Opus 4.8在通过率上统计持平（82%-90%），但每任务成本仅1.28美元 vs 1.94美元。Databricks已决定将GLM-5.2设为默认日常编码引擎，61%的中等复杂度编码任务将自动路由到GLM-5.2。此前Coinbase、Lindy等企业已转向国产模型，推理成本降幅达30%-95%。OpenRouter数据显示，中国模型周调用量达23.45万亿词元，环比增长15.01%，连续六周增长，全球前五AI模型中国产占据四席。

值得关注的原因： Databricks是首个公开宣布将中国模型作为默认编码引擎的美国头部数据公司。GLM-5.2在百万行级真实代码库中与Opus 4.8统计持平，意味着中国编码模型已从"性价比平替"进入"性能对标"阶段。对于使用AI Coding工具的开发团队，GLM-5.2的API定价（$1.40/$4.40 per M tokens）仅为Opus 4.8（$5/$25）的28%-18%，在中等复杂度任务上具备显著的成本优势。

信息来源： The Decoder/gentic.news

Meta Muse Spark 1.1首次开放付费API，定价仅为Claude四分之一

7月9日，Meta超级智能实验室发布Muse Spark 1.1并同步开放Meta Model API公测，这是Meta历史上首次为AI模型设立付费商业模式。定价为每百万输入token 1.25美元、输出token 4.25美元，约为OpenAI和Anthropic同级模型的25%。模型支持100万token上下文，采用主Agent/子Agent委托模式，支持零样本泛化到新工具和MCP服务器。独立评测机构ValsAI数据显示，Muse Spark 1.1在法律Agent（20.00%）、税务评测TaxEval V2（79.72%）、医疗文书MedScribe（88.89%）三项评测中全部排名第一，超越GPT-5.5、Claude Fable 5和Grok 4.5。扎克伯格时隔3年重返X平台发文宣传。

值得关注的原因： Meta从Llama系列开源免费路线转向闭源付费API，标志着前沿AI模型"免费时代"的终结。Muse Spark 1.1的定价策略直接冲击AI Coding市场——$4.25/M output token的价格仅为GPT-5.6 Terra（$15）的28%、Claude Opus 4.8（$25）的17%。对于构建Agent工作流的团队，这意味着多智能体编排的token成本可降低75%以上。同时，Muse Spark 1.1的Agent委托模式（主Agent收集上下文、制定计划、分配子Agent并行执行）为AI Coding中的多Agent架构提供了新的工程参考。

信息来源： Meta AI Blog / aitntnews

宇树G1登Nature：全球首例人形机器人活体微创手术

7月8日，加州大学圣地亚哥分校团队依托宇树G1人形机器人，通过远程操作完成两例活体猪腹腔镜胆囊切除术，为全球首例通用人形机器人活体微创手术。相关成果发表于Nature，第一作者为00后中国博士生梁泽楷。手术过程中，G1机器人通过远程操作实现精准的腹腔镜器械控制，完成了组织分离、胆囊切除等标准外科操作流程。同期，宇树科技还启动物理AI UNIBOT世界挑战赛，基于G1平台设置32项桌面操作任务和32000个演示样本，聚焦具身智能大模型泛化性评测。

值得关注的原因： 这是通用人形机器人首次在活体外科手术场景中得到验证，标志着具身智能从工业搬运、分拣等"体力任务"向高精度、高风险的"技能型任务"延伸。论文发表于Nature意味着学术界对人形机器人外科应用的技术可行性给予了顶级认可。对关注具身智能的开发者而言，宇树G1平台已同时在工业部署（富临精工工厂3小时零失误搬运800箱）、外科手术（Nature论文）、学术评测（UNIBOT挑战赛）三条路径上形成闭环，其开放平台策略正在构建类似NVIDIA Isaac+GR00T的生态效应。

信息来源： 每日经济新闻 / 腾讯新闻