AI 前沿日报 · 0919 | 丰田把 40 万台机器人开进工厂,AI 从改写软件走向攻克数学

每日精选 6 条 AI 领域值得关注的动态，覆盖 AI Coding、具身智能与前沿科技公司。

丰田宣布部署 40 万台机器人进工厂，每年砸 1 万亿日元改造产线

丰田宣布将在全球约 60 座工厂部署 40 万台机器人（丰田自有工厂 15 万台 + 集团企业 25 万台），2028 年起每年投入约 1 万亿日元（约 67 亿美元）用于工厂改造。核心机型 ELEY 为约 50 公斤的轮式底盘人形机器人，搭载丰田研究院的 Large Behavior Models——不靠逐任务编程，而是让机器人观察熟练工人动作直接学习：演示中 ELEY 经约两周、1500 次观察后以近乎完美的准确率学会叠 T 恤，且技能数据可推送至其他工厂的同型机器人。

值得关注：这是全球最大规模的工业机器人部署计划之一。丰田的差异化在于「人穿工具示范 → 机器人观察学习」的闭环，绕开了昂贵的遥操作数据采集。40 万台的量级意味着具身智能从「实验室 demo」正式进入「制造业基础设施」阶段，制造业的自动化叙事被改写。

Figure 发布 Helix 2.5：30 个陌生家庭零样本作业，成功率从 9% 跳到 56%

Figure 于 9 月 17 日发布具身模型 Helix 2.5：在人类行为数据集 Index 上预训练后，单一基座模型产出整理客厅、折毛巾、铺床三项全身行为，随后进入旧金山湾区 30 个从未采集过数据的家庭执行。在架构、超参数、评测条件完全固定的对照下，随机初始化策略零样本成功率仅 9%，Index 预训练策略达 56%；相比上代用一半任务专用数据即达到同等成功率。团队还仅用小规模模型就精准预测出最大规模模型的测试损失（误差 0.54%）。

值得关注：9% 到 56% 的差距把泛化能力的来源从「任务数据」明确指向「预训练数据」——具身智能可能正在复制大语言模型「预训练一次、行为后置指定」的范式。这是继丰田规模部署之外，具身智能方法论层面的另一条关键信号。

OpenAI 据悉接近攻克第二个千禧年难题：霍奇猜想

据 The Information 援引知情人士，OpenAI 已接近解决千禧年七大数学难题中的「霍奇猜想」，员工预计不久后有望完成证明。此前 OpenAI 于 9 月 8 日宣布用下一代预训练模型变体（代号「Doug」）解决了纳维-斯托克斯方程难题。此次即使找到解法也可能延迟公布——公司正思考如何与数学界合作发布，避免重演上次的公关危机。部分研究员判断：过去一年席卷软件工程的自动化进程，将在未来 6-9 个月内在数学领域重演。

值得关注：数学与软件工程共享同一逻辑——逐步推理 + 结果可自动验证（Lean 形式化），这正是 Coding Agent 的核心方法论向科学领域迁移。而攻克高难度数学也是 OpenAI「递归自我改进」路线的关键一环：AI 能做数学，才能自动化机器学习研究本身。

Anthropic 首次披露内部自动化指标：Claude 主导 26% 的 AI 研发工作

Anthropic 公开了用于追踪前沿实验室内部 AI 发展情况的衡量指标：截至 8 月，Claude「主导」了公司 26% 的 AI 研发工作，超过 90% 的研发任务达到或超过「人机协作」水平，但在任何被测量的子集中 Claude 均未完全自主。其主要内部平台同时运行约 3 万个 Agent。

值得关注：这是继 OpenAI 公开「RSI 账本」（1 个人类日 = 3.1 个 Agent 工作日）之后，第二家用可量化指标披露「AI 研发自动化程度」的头部实验室。两大实验室开始像上市公司披露财报一样披露 AI 自动化进度，说明「递归自我改进」已从内部叙事变成可对比、可审计的行业指标。

AI Coding 工具生态连更：Claude Code 拥抱 AGENTS.md 标准、Codex CLI 上线语音、罗技给 Agent 造键盘

三条信号同日落地：① Claude Code 2.1.277 支持 AGENTS.md 回退——项目目录无 CLAUDE.md 时自动读取 AGENTS.md 中的项目指令，跨 AI 编码工具的配置迁移成本大幅降低，Agent 仓库规则走向事实标准；② OpenAI Codex CLI 0.155 引入实验性语音模式，终端里的 Agent 可以直接对话；③ 罗技推出 MX AI 键盘，9 个可编程按键一键调用 GitHub Copilot、Claude Code 并实时显示 Agent 状态，这是外设厂商首次为 agentic coding 设计专用硬件入口。

值得关注：AGENTS.md 回退是编码 Agent 生态从「各自为战」走向「标准收敛」的重要一步——规则文件通用化后，开发者在工具间的切换成本趋近于零，竞争焦点将进一步转向模型与执行质量本身；而物理键盘一键调用则说明「整天开着 Agent」已经从极客行为变成主流工作流。

Manus 寻求 5 亿美元新融资，估值约 40 亿美元，考虑赴港上市

据华尔街日报报道，AI Agent 创企 Manus 正与 IDG 资本、博裕资本等洽谈新一轮约 5 亿美元融资，对应估值约 40 亿美元，并考虑未来赴香港上市。该融资仍处洽谈阶段，尚未正式宣布。

值得关注：Manus 是通用 Agent 赛道的明星公司，此前以「自主执行复杂任务」出圈。若融资落地，其将成为国内 Agent 公司里最早冲刺公开市场的一家之一——继 DeepSeek 冲刺科创板、月之暗面递表港交所之后，中国 AI 公司的资本化窗口正在批量打开，Agent 赛道开始出现「产品验证 + 资本验证」双落地样本。

一句话总结

硬件在把机器人开进工厂，软件在让 AI 攻克数学、接管研发——「AI 造 AI」的飞轮两端同时开始转动。