AI 新闻日报

蚂蚁灵波开源触觉基础模型 LingBot-Touch，真机任务成功率提升 14 至 26 个百分点

蚂蚁灵波科技开源触觉基础模型 LingBot-Touch，基于近 5000 小时真实触觉数据预训练，覆盖磁触觉、视触觉和压阻式三类传感原理，将不同信号编码为统一的触觉 Token。在 Sharpa Wave 和 XHand1 两款灵巧手上的 26 项真机测试中，接入后 LingBot-VLA、π0.5、Diffusion Policy 和 T-Rex 四种动作模型的平均任务成功率较无触觉时提高约 14 至 26 个百分点。技术报告、模型和代码已在 Hugging Face、GitHub 和魔搭社区开源。

• 蚂蚁灵波开源触觉预训练基础模型 LingBot-Touch量子位

Google DeepMind 发布 Gemini Robotics 2.5 视觉-语言-动作模型

Google DeepMind 发布 Gemini Robotics 2.5，称其为目前能力最强的视觉-语言-动作（VLA）模型，在200项任务上相比此前基线成功率提升30%至100%，完成任务速度提升20%至30%。在 Mercedes-Benz 匈牙利和德国工厂的概念验证中，搭载该模型的 Apptronik Apollo 2 人形机器人自主完成汽车零件分拣，成功率达96%。该模型正面向机器人合作伙伴推出，同时发布开源基准 ASIMOV-Jailbreak，Gemini 4 Argon 在该基准上的越狱抵抗率为99.5%。

Arena 展示 Claude Fable 5.2 的 17 个生成案例

Arena 展示了 Anthropic 的 Claude Fable 5.2 在 Arena 上 17 次生成的结果，涵盖精细 3D 世界、可玩游戏、网站 UI、数据可视化和代码生成的交互动画。Arena 此前称 Claude Fable 5.2（xHigh）以 1832 分登顶 Code Arena 的 WebDev 榜，比 Fable 5.1 快最多 30%，价格为每百万 token $8/$40，低于此前的 $10/$50，排在 Claude Opus 5.5（Max）1818 分、Gemini 4 Carbon（High）1768 分和 GPT-6 Astra（Max）1767 分之前。

Anthropic据悉计划下周登陆纳斯达克，估值预期区间1.1万亿至1.75万亿美元

据知情人士消息，Anthropic计划在下周四或周五登陆纳斯达克，股票代码为ANT，本周将与核心投资者举行路演会议并预计于本周初提交文件披露IPO价格区间。市场对其估值预期区间为1.1万亿至1.75万亿美元，对应募资规模预计800亿至1000亿美元。外媒分析称，如果后续市场环境进一步恶化，公司仍存在推迟IPO的可能性。

• Anthropic 公开提交 S-1，最早 11 月 16 日当周登陆纳斯达克36氪 · AI
• Anthropic 据报推进 IPO，本周确定估值区间TechCrunch AI
• Anthropic推进IPO 计划下周确定发行价并上市cnBeta

Google DeepMind 用 AlphaProof Code 形式化验证 Signal 协议代码

Google DeepMind 研究人员用 AlphaProof Code 智能体框架，对 Signal 协议实际代码的关键安全属性完成形式化验证，生成超过六百万行 Lean 证明，整个过程耗时四周。该框架由多个 LLM 智能体分工，人类专家负责确定要证明的安全目标并复核约百分之一的代码。团队还向隔离版本的 Signal 代码中重新引入两个已修复的真实漏洞，系统均给出机器校验的不安全证明。DeepMind 同时开源了形式化验证产物。

• Google DeepMind 用 AI 智能体为 Signal 编译代码生成 Lean 安全证明Unite.AI

Harness 大战：模型公司为何争相把 Agent 运行系统做成服务

微软技术白皮书显示，同样使用 Claude Opus 4.8，仅更换 Copilot Studio 背后的 Harness，复杂任务通过率就提高 22.1 个百分点，输入 Token 消耗减少 21%。Anthropic、OpenAI、DeepSeek、月之暗面等已先后把 Harness 开放或托管给开发者，Kimi 在 11 月 5 日提出 Harness as a Service。文章指出托管费用目前只占 Agent 总成本的小部分，Anthropic Managed Agents 一小时编程任务示例总费用 0.58 美元，托管运行费约占 14%。