11月10日

Google DeepMind 使用 AI 智能体对 Signal 协议进行数学形式安全证明

📌 One-Sentence Summary Google DeepMind 的 AI 智能体输出 650 万行形式数学证明，验证了 Signal 信号协议在处理器指令级的安全性，采用 AlphaProof Code 框架和 Gemini Carbon 大模型。 📝 Summary Google DeepMind 实现了里程碑式突破，AI 智能体撰写了 65

Gemini Robotics 2.5：加速具身智能

📌 One-Sentence Summary Google DeepMind 发布 Gemini Robotics 2.5，这是一款视觉-语言-动作模型，拓展了任务范围，将可靠性提升 30-100%、任务完成速度提高 20-30%，并通过可控性和智能体能力推进面向真实世界的具身智能与安全性。 📝 Summary Google DeepMind 发布 Gemi

双11冲刺进行时！抖音商城服饰趋势品牌有哪些

双11进入最后冲刺，秋冬服饰需求仍在持续释放。11月10日，抖音商城双11服饰趋势品牌发布，女装、男装、童装童鞋、内衣配饰、鞋靴运动、箱包装备六大细分榜单同期出炉，呈现出泛时尚消费领域的热门风向。 01 趋势女装 秋冬换季叠加降温节点，冬装成为女装消费的主力。 趋势女装榜上，AP、MSBEAST/野兽小姐、RENATHING位列前三。 “既要暖暖的，也要美美

阿里巴巴：已正式申请平头哥独立上市

11月10日晚，阿里巴巴集团发布公告：已向香港联交所交表，申请旗下子公司平头哥独立上市。上市完成后，平头哥仍将是阿里巴巴子公司。 公告显示，2026年9月11日，平头哥已向香港联交所递交上市申请，拟通过H股在香港联交所主板独立上市。据悉，IPO具体规模尚未最终确定。 截至2026年4月，平头哥真武系列AI芯片累计出货量达56万片。平头哥上市安排，将有助于市场

吉利星愿上市两年，刷新全球最快百万销量速度纪录

11月6日，吉利银河全球用户音乐嘉年华暨吉利星愿百万达成宠粉权益发布会，在杭州举行。上市24个月，吉利星愿累计销量突破100万辆，不到一分钟售出一辆，成为全球最快达成百万销量的新能源汽车，以现象级爆款姿态改写了全球纯电小车市场的竞争格局。 面向百万用户的信赖与期待，吉利星愿发布STAR限定系列新版型——STAR Ace与STAR Chill，限时权益价8.8

使用 Gemini 对 Signal 协议进行形式化验证

📌 One-Sentence Summary Google DeepMind 推出 AlphaProof Code，这是一种智能体框架，利用 Gemini 模型对 Signal 的密码协议实现进行形式化验证，首次在代码层面实现了对广泛部署协议的 AI 辅助验证。 📝 Summary Google DeepMind 的研究人员推出 AlphaProof Cod

英伟达机器人开源撞上Fable 5.2发布！Jim Fan：不是寒冬是夏天

灵光接入什么值得买，AI助理开始帮用户“盯好价”

从商品推荐到价格追踪，个人AI助理进一步深入日常消费场景。 11月10日消息，蚂蚁集团旗下个人AI助理灵光接入消费内容平台「什么值得买」，将商品信息、消费决策支持等服务进一步纳入灵光。 此次接入是灵光持续扩展开放服务生态的又一动作。此前，灵光已陆续接入支付宝、钉钉、飞书、米家、微信读书、哈啰打车等40个连接器服务，能力覆盖工作、出行、家庭管理和日常生活等多个

从芯片到千比特整机，超导量子计算还有一场硬仗

近亿元融资刚刚落袋

从“一脑多机”到“一脑多手”，蚂蚁灵波开源LingBot-Touch触觉基础模型

11月10日，蚂蚁灵波科技开源触觉基础模型LingBot-Touch

Agent自演进驶入“双轨时代”！openJiuwen首发TTSE经验学习框架

让每一次任务，都成为下一次进步的起点

成立四个月，融资过亿美金：TensorWorld物原科技要跑通“物理真实”路线

TensorWorld物原科技在一个月内已拿到过亿美元融资

达卯科技与浦东环保能源战略合作，黎明智算中心算电协同平台启动

加速东部城市型智算中心向E-AIDC演进

Token卷到触觉了！机器人终于有了通用手感

蚂蚁灵波开源LingBot-Touch

四维图新创想大会 | 以数据与算力为基，SEEWAY.AI驶向新一站

11月6日，四维图新在上海举办2026 EVOLUTION创想大会。CEO 程鹏全面解读穿越 “极点” 的破局方向，以数据与算力为基，答行业焦点之问，并正式公布向移动智能体领域拓展的战略布局。 数据之战，先拿好合规这张入场券 "过去十年，中国新能源赢在电池；未来十年，中国汽车要赢在数据。"程鹏的判断直指行业下一个核心战场——数据已成为汽车智能化的"第二战场"

Fable 5.2首批实测来了！网友：Opus突然不香了

作曲、拍片、3D建模一条龙全包圆

Fable 5.2 “撞车”蚂蚁灵波触觉模型，CEO 朱兴：两类模型协同将加速具身产业成熟

11 月 10 日，Claude Fable 5.2 发布同日，蚂蚁灵波科技开源触觉基础模型 LingBot-Touch。一款面向数字世界的通用大模型，一款面向物理操作闭环的具身基础模型，同一天走进公众视野。 这两条技术路线的关系，正是当下具身智能行业讨论的焦点。在蚂蚁灵波看来，通用大模型与具身基础模型更接近 1+1＞2 的协同关系：前者增强对任务和环境的理

EP232 · Anthropic 升级旗舰模型、Mistral 谈主权 AI、OpenAI 建停止机制

📝 今日导语 Anthropic 升级模型，Mistral 谈主权 AI，OpenAI 建停止机制：判断能力、部署与控制的取舍。 🏷 今日关键词： 旗舰模型 主权 AI 模型控制 工程交付 图像编辑 📰 今日精选内容 Anthropic 发布 Claude Fable 与 Mythos 5.2，提升技术任务能力 Anthropic · 文章 · 评分 92

从众筹爆款到现货开售，妙动科技Beni机器人开创影像新视角

2026 年 11 月 10 日，消费级机器人公司妙动科技宣布，旗下全球首款多地形跟拍机器人 Beni 正式开启现货发售：标准套装售价 4999 元、探索套装售价 5799 元，国内用户可通过京东商城购买，即买即发货。 一个月前，Beni 刚以筹资超 500 万美元、全球 7926 名支持者的成绩，创下Kickstarter 平台消费级机器人众筹金额历史第一

23.98万元起，智己LS8 NEO开始反“配置表”

过去两年，25万元级新能源SUV很容易陷入一种同质化。 冰箱、彩电、大沙发越来越普遍，800V、高阶辅助驾驶也逐渐从少数车型的卖点，变成一张越来越标准化的配置表。 于是一个有意思的问题出现了： 当大家都有这些东西之后，一台车还能靠什么拉开差距？ 11月5日，智己LS8 NEO纯电正式上市，权益价23.98万元起。 这款车给出的答案，多少有些“返璞归真”。 智

100轮图像编辑这道「毙刷题」，新出的Seedream 5.5稳上来了！

速度提了，API价格降了

41年爱妻人设崩塌！黄仁勋一夜损失3万亿，或被英伟达免职；曝一汽大众取消两年「年终奖」，有人称合计约20万；豆包新图像模型价格下降

要闻提示 1.41年爱妻人设崩塌！黄仁勋一夜损失3万亿，或被英伟达免职 2.曝一汽大众取消两年“年终奖”，有工程师称合计约20万元 3.李佳琦被曝入手顶级超跑！落地价近2000万元，年带货1750亿元 4.传阿里平头哥计划明年赴港IPO 5.日本人又拆中国电车：直呼电机结构“几乎与特斯拉一样” 6.豆包新图像模型价格下降 7.中国AI大模型又赢了！连续28周

千问办公2.0卷向Team Agent，我们用它跑了一遍编辑部日常

办公AI结束单机模式

Robinhood 的数据流水线如何让约 60% 的 PR 无需人工审核即可合入

📌 One-Sentence Summary Robinhood 用脚本核对事实，让智能体审核数据流水线改动，并把敏感授权、数据语义变更和不确定的判断留给人。 📝 Summary Chetas Joshi 以一次表结构变更为例：PR 新增一列，并把另一列从整数扩展为大整数。注册表、数据目录、血缘和预发性能检查全部通过，但智能体在代码库里发现了一个未登记的消费

LinkedIn 如何让智能体从错误中改进，并验证改动有效

📌 One-Sentence Summary LinkedIn 用递归改进流程生成了首个上线的提示词更新。为了让改动靠谱，团队先修正了评估标准和归因方式。 📝 Summary Ziwei Guo 和 Saloni Gandhi 介绍了改进用户理解智能体的七个步骤，从收集执行轨迹，到提出修改、验证候选项，再用留出集测试。第一层评估器给输出打分，第二层诊断失败原

Google Cloud CISO 观点：我们对 2027 年的安全预测

📌 One-Sentence Summary Google Cloud CISO Chris Betz 概述了 2027 年预期将出现的主要网络安全趋势与挑战，重点关注智能体威胁的兴起、攻击手段的演变，以及保护自主系统和 AI 驱动运营所需的新型安全防御方法。 📝 Summary 本文由 Google Cloud CISO Chris Betz 撰写，展望了

用 Claude 定位神秘的蜂鸣声来源

📌 One-Sentence Summary 作者展示了 Claude Code 如何构建一套多设备声学三角定位系统，在房间内找到神秘蜂鸣声的来源，展现了 AI 如何通过连接设备为智能体赋予感知能力。 📝 Summary 文章介绍了 AI 辅助开发的一项实际应用：Simon Willison 使用 Claude Code 构建了「Beep Locator」—

Claude Fable 5.2 领跑 Code Arena：WebDev 赛事，速度与成本提升 30%

📌 One-Sentence Summary AnthropicAI 的 Claude Fable 5.2（xHigh）在 Code Arena：WebDev 中获得 1832 分 rankings，性能提升至 30%，成本效益更高（$8/$40 vs $10/$50 每百万 token），超越 Claude Opus 5.5、Gemini 4 Carbon

中大本科生反AI逆向项目火了！让黑客Token账单原地暴涨300倍

投毒 → 耗尽预算 → 诱导误判

Claude 能够从头到尾设计电子原型

📌 One-Sentence Summary Claude Fable 5.2 成功从头到尾设计并制作了 3 款电子设备原型——免提电话、语音助手中枢和手持式电子宠物，展现出先进的几何推理能力、自主修改设计的能力，以及端到端工程能力。 📝 Summary 本文介绍了 Anthropic 与 Diode Computers 合作，评估 Claude Fable