谷歌 4 周完成 Signal 形式化验证：AI 找出旧版已知漏洞
11 月 10 日，谷歌 DeepMind 团队宣布用 AI 智能体完成了 Signal 加密协议的形式化验证，耗时约四周。Signal 协议也被 WhatsApp 和谷歌信息采用，这次成果被研究人员形容为里程碑式的进展。 形式化验证意味着…
AI闪点第 9 页1918 篇
我国算力总规模 310 万 PFLOPS：居全球第二
11 月 10 日，全国数据标准化技术委员会 2026 年第二次标准周活动在福建厦门举行，会上披露我国算力总规模已达到 310 万 PFLOPS，位居世界第二。 标准组织与工作组 本次标准周正式成立具身智能数据标准起草工作组，以及气象、卫生…
智元发布 WITA-Omni：400 毫秒响应的具身全模态模型
11 月 10 日晚，智元 AGIBOT 宣布发布 WITA-Omni 硅光动语全模态大模型，官方称其为行业首个具身全模态端到端交互大模型。 输入输出都进了物理层 模型基于机器人本体感知数据深度训练，除音视频输入输出外新增支持触觉和本体状态…
蚂蚁 LingBot-Touch 触觉模型开源：成功率涨 26 个点
11 月 10 日，蚂蚁灵波科技开源触觉基础模型 LingBot-Touch，基于近 5000 小时真实触觉数据预训练，覆盖磁触觉、视触觉和压阻式三类主流传感原理，把不同信号转化为同一套触觉表征。 接上灵巧手的最后一环 模型已接入 Ling…
ALFWorld 98.51%：openJiuwen 的 TTSE 双轨框架
11 月 10 日，openJiuwen 发布 TTSE 双轨自演进框架，把 Agent 在任务中积累的经验拆成环境事实与执行方法两条轨道分别维护，并已在 WorkSwarm 蜂群办公智能体中落地。 为什么经验会失效 在递归自我改进过程中，…
Figure AI 招机器人夜班管理员：时薪 45 美元
11 月 10 日消息，人形机器人公司 Figure AI 在美国加州圣克拉拉招聘夜班协调员，负责监督公司的人形机器人以及与机器人协同工作的员工，时薪 40 至 45 美元，约合人民币 267.5 至 300.9 元。 工作内容与身体要求 …
Hugging Face 警告：10 月攻击后开源平台成目标
11 月 10 日，Hugging Face 首席政策官 Irene Solaiman 警告，开放社区与丰富数据这两项让开源 AI 平台有价值的特质，同样让它们更容易成为攻击目标。 三起事件串起风险 10 月针对 OpenCode 的攻击瞄…
Otter AI 支持 31 种语言：新增 27 种可跨语种转写
11 月 9 日周二，AI 会议记录工具 Otter.ai 宣布新增 27 种语言支持，加上原有语种总数将达到 31 种，这是该产品迄今规模最大的一次语言扩展。 跨语种自动切换 新增的多语言转写功能可以在会议中说话人切换语言时自动检测并继续…
10 款开源 MoE 路由对比：专家数从 8 到 384 差 48 倍
11 月 8 日，MarkTechPost 对 10 款主流开源 MoE 模型的路由配置做了横向比对，覆盖 DeepSeek-V4-Pro、Kimi K2、GLM-4.5、Qwen3-235B-A22B、Qwen3.6-35B-A3B、Ll…
谷歌开源大象金鱼插件：先写规格再让 9 个角色挑错
11 月 8 日，谷歌开源了名为 Elephant-Goldfish Model 的编码智能体插件，方法来自 Dave Rensin 关于大象与金鱼的随笔。核心思路是把规格评审放到代码之前，让智能体先写规格，再由一批没有对话历史的全新子智能…