AI与算力协同进化 · AI 每日简讯 – 2026-11-11

AI 创作者雷达

1. 蚂蚁灵波开源 LingBot-Touch 触觉基础模型 ⭐️ 9.0/10
2. 达卯科技与浦东环保能源合作启动黎明智算中心算电协同平台 ⭐️ 9.0/10

科技新闻

1. DeepMind 发布 AlphaProof Code 实现开源代码库全自动形式化验证 ⭐️ 9.0/10
2. 微软 10 月安全更新修复 1415 个漏洞，含已遭利用的高危漏洞 ⭐️ 9.0/10
3. 近 700 亿美元 IPO 定价突然撤回！Anthropic 最快今天路演，下周冲刺上市 ⭐️ 9.0/10
4. Discord 用 Rust 重写客户端，内存降 70% 并秒开 ⭐️ 9.0/10
5. Uber 用 NCU 重新定义 Kubernetes 的 CPU 抽象 ⭐️ 9.0/10
6. Airbnb 通过 Chronon 实现推荐嵌入秒级更新 ⭐️ 9.0/10

AI 创作者雷达

蚂蚁灵波开源 LingBot-Touch 触觉基础模型 ⭐️ 9.0/10

2026 年 11 月 10 日，蚂蚁灵波科技开源触觉基础模型 LingBot-Touch，基于近 5000 小时真实触觉数据，融合磁触觉、视触觉和压阻式三类传感信号，将不同原始数据统一为可跨硬件复用的触觉 Token。在 Sharpa Wave 和 XHand 两款灵巧手上进行的 26 项真机测试中，接入该模型后四种动作模型的平均任务成功率提升 14 至 26 个百分点，其中 T-Rex 控制 Sharpa Wave 拧瓶盖的成功率从 56.25%升至 90%。轻量版模型参数量约 530 万，仅增加 0.13%至 0.16%的计算开销。

订阅源 · 量子位 · 11月10日 07:57

「为何此时值得关注」 在通用大模型能力持续提升的背景下，机器人物理操作中的感知闭环仍存在明显短板，而 LingBot-Touch 通过统一触觉表征，首次在真实硬件上验证了触觉信息对精细操作成功率的显著提升，标志着具身智能向物理交互精细化迈进的关键一步。

「可做角度」 可做角度：从“一脑多机”到“一脑多手”的演进——LingBot-Touch 如何通过统一触觉表征，实现跨传感器、跨灵巧手的操作经验复用。

标签: #触觉基础模型, #具身智能, #机器人操作, #LingBot-Touch, #灵巧手控制

达卯科技与浦东环保能源合作启动黎明智算中心算电协同平台 ⭐️ 9.0/10

达卯科技与上海浦东环保能源签署战略合作协议，共同启动黎明智算中心的算电协同平台建设。该平台将实现万卡级算力集群的用能全链路数字化管控、负荷预测与协同调度，项目设计总功率 18 兆瓦，采用生物质绿电直供与余热制冷等技术，目标优化 PUE 并支持电力市场化交易。目前平台处于建设阶段，具体运营效果尚待验证。

订阅源 · 量子位 · 11月10日 07:33

「为何此时值得关注」 此次合作是国家级算电协同试点项目在东部城市型智算中心的首个落地实践，标志着算电协同从理念向工程化部署推进。其关键进展在于将 AI 驱动的智能调度系统与实际能源资产结合，为应对电网容量约束和能耗指标趋紧提供可复制的技术路径。

「可做角度」 可做角度：聚焦万卡级算力集群如何通过算电协同平台实现 PUE 优化与柔性资源聚合，分析其在保障安全运行前提下参与电力市场交易的技术可行性与经济边界。

「社区讨论」 暂无社区评论可供参考。

标签: #算电协同, #绿色算力, #智能调度, #虚拟电厂, #万卡级算力集群

科技新闻

DeepMind 发布 AlphaProof Code 实现开源代码库全自动形式化验证 ⭐️ 9.0/10

DeepMind 发布 AlphaProof Code，首次实现对复杂开源代码库的全自动形式化验证。该系统基于大语言模型作为证明代理，在 Lean 逻辑框架中自动生成并验证数学证明，成功对一个曾存在历史漏洞的代码库进行了零错误验证。此能力标志着 AI 在软件可靠性领域取得突破性进展，但其验证范围和结论仍需谨慎评估。

Hacker News · ilreb · 11月10日 12:11 · 社区讨论

「背景」 形式化验证是一种通过数学逻辑严格证明软件代码满足特定规范的技术，常用于高可靠性系统如操作系统内核、加密协议和航空航天软件。传统形式化验证依赖专家手动编写证明，过程耗时且难以扩展。DeepMind 的 AlphaProof Code 利用大语言模型作为证明代理，在 Lean 逻辑框架中实现对复杂开源代码库的全自动形式化验证，标志着该技术从人工主导向 AI 驱动的范式转变。

「社区讨论」 有用户质疑该系统在未发现任何漏洞的情况下完成验证是否可信，怀疑其可能仅验证了狭窄属性而非完整功能；另有用户指出 AI 编写的 Lean 证明可能存在‘作弊’行为，即通过设计漏洞绕过严格验证。这些讨论凸显了对 AI 形式化验证结果可靠性的审慎态度。

标签: #形式化验证, #大语言模型, #软件可靠性, #DeepMind, #Lean

微软 10 月安全更新修复 1415 个漏洞，含已遭利用的高危漏洞 ⭐️ 9.0/10

微软 2026 年 10 月安全更新修复了 1415 个漏洞，其中 CVE-2026-96951 为已被利用的高危漏洞，影响 Windows Shell 组件，可绕过 Mark of the Web（MOTW）安全机制。攻击者需通过诱骗用户点击恶意链接或打开附件来触发，但危害严重。受影响产品包括 Windows、Office、.NET、Edge、Exchange 及部分 Hyper-V 和 Azure 组件。补丁发布后，已有报告指出 KB5127648 导致 WPA-Enterprise WiFi 和 IPSec VPN 连接故障。

订阅源 · InfoQ 中文 · 11月11日 09:06

「背景」 微软每月发布的安全更新（Patch Tuesday）通常包含对 Windows、Office、.NET 等核心组件的漏洞修复。此次 10 月更新修复了 1415 个漏洞，其中 CVE-2026-96951 是影响 Windows Shell 的高危漏洞，可绕过 Mark of the Web（MOTW）安全机制，攻击者需通过诱骗用户打开恶意文件或链接来实施攻击。该漏洞在披露后不久即被证实遭利用，凸显补丁管理中的紧迫性与风险。

「影响」 微软 10 月安全更新修复了 1415 个漏洞，其中 CVE-2026-96951 已遭利用，可绕过 Windows Shell 的 MOTW 安全机制，攻击者需诱骗用户操作。该补丁导致部分企业出现 WPA-Enterprise 和 IPSec VPN 连接故障，表明大规模更新存在显著回归风险，需在部署前进行充分测试。

「社区讨论」 Reddit 用户 falconupkid 指出，此次补丁规模庞大，存在大量潜在远程代码执行漏洞，且披露与利用间隔极短，建议优先处理严重性评分高于 9.0 的 CVE，并警惕补丁引入的回归问题。另有用户报告 KB5127648 更新导致 WPA-Enterprise WiFi 和 IPSec VPN 连接失败，凸显大规模更新部署中的兼容性风险。

标签: #微软安全更新, #Windows Shell漏洞, #CVE-2026-96951, #安全补丁管理, #远程代码执行

近 700 亿美元 IPO 定价突然撤回！Anthropic 最快今天路演，下周冲刺上市 ⭐️ 9.0/10

Anthropic 突然撤回近 700 亿美元 IPO 定价文件，引发市场对千亿美元级融资及七家科技巨头联合投资的广泛关注，凸显 AI 产业资本格局的重大变革。

订阅源 · InfoQ 中文 · 11月10日 18:54

标签: #Anthropic, #IPO, #AI芯片, #云计算, #资本布局

Discord 用 Rust 重写客户端，内存降 70% 并秒开 ⭐️ 9.0/10

Discord 正在将桌面及移动端客户端从 Electron 和 React Native 迁移至 Rust，采用 GPUI 框架构建界面。新版本客户端（代号 Discord Phoenix）在 Windows 上的内存占用约 290.2MB，相比旧版降低 70% 以上，启动速度显著提升。该重构目前仍处于测试阶段，尚未公开上线时间，但已证实可实现更低内存开销与更流畅响应。

订阅源 · InfoQ 中文 · 11月10日 16:04

「背景」 Discord 长期使用 Electron 构建桌面客户端，该技术栈虽能实现跨平台开发，但因需携带完整 Chromium 运行环境，导致内存占用高、启动慢。2025 年底，Discord 因客户端内存占用超 4GB 的问题，曾实验性引入自动重启机制缓解压力，但官方明确表示此为临时措施。此后，团队持续优化 Electron 版本，但性能提升有限，最终决定彻底放弃 Electron 和 React Native，转向用 Rust 重写客户端，以实现更低的内存占用和更快的响应速度。

「影响」 Discord 桌面客户端采用 Rust 和 GPUI 重写后，内存占用降低 70% 以上，启动速度显著提升，但其私有化修改的 GPUI 分支将增加长期维护成本，且无障碍支持、输入法兼容等系统级功能需自行实现，可能影响依赖第三方插件的用户群体。

「社区讨论」 部分开发者认为 Discord 的技术转型是应对 AI 时代资源紧张的必要举措，强调原生开发能为本地模型运行腾出更多系统资源；也有用户担忧迁移后将削弱第三方插件生态，使自定义功能和主题修改变得困难。

标签: #Rust, #Electron, #内存优化, #跨平台开发, #AI辅助编程

Uber 用 NCU 重新定义 Kubernetes 的 CPU 抽象 ⭐️ 9.0/10

Uber 在其有状态编排平台 Odin 中引入标准化计算单元（NCU），以解决异构服务器间 CPU 性能差异导致的资源分配不均问题。该方案为每种服务器类型分配性能系数（如旧硬件设为 100，新硬件可达近 190），将 CPU 使用量转换为统一的性能单位，使同一工作负载在不同硬件上获得等效计算能力。该机制已应用于约 140 万 CPU 核心，使 Kafka 在不同服务器间的 CPU 利用率差距从约 50%降至约 10%，总 CPU 分配量减少约 8%。

订阅源 · InfoQ 中文 · 11月10日 13:27

「背景」 传统 Kubernetes 将 CPU 核心视为等价资源，以核心或毫核为单位进行抽象，无法反映不同代际处理器之间的实际性能差异。在包含多代 x86 和 ARM 架构的异构环境中，最快与最慢核心的单线程性能可能相差近一倍，导致资源分配要么浪费、要么不足。

「影响」 对于运行在异构集群上的有状态服务（如 Kafka），该方案显著提升了资源利用效率和系统可靠性，避免了因迁移至低性能服务器而导致的资源压力；同时，通过精准匹配计算能力，减少了对高性能硬件的过度分配，降低了整体算力成本。

标签: #Kubernetes, #异构计算, #资源调度, #有状态服务, #性能抽象

Airbnb 通过 Chronon 实现推荐嵌入秒级更新 ⭐️ 9.0/10

Airbnb 在其开源特征平台 Chronon 中新增推送模式与近实时（NRT）模型转换能力，使基于 JourneyFormer 的序列推荐嵌入向量更新延迟从近两天缩短至 10 至 30 秒。该优化基于流式处理事件触发模型推理，使用与批处理一致的 Transformer 序列编码器，并将结果写入共用的低延迟存储，保持在线排序路径不变。离线 NDCG 提升 1.67%，在线 A/B 测试中未取消订单量增长约 0.33%。

订阅源 · InfoQ 中文 · 11月10日 09:11

「背景」 Airbnb 的推荐系统此前依赖每日批处理任务生成用户行为嵌入向量，导致特征更新延迟接近两天。该流程将用户浏览、预订和评论等序列数据在离线环境中批量处理，生成的嵌入向量存入低延迟存储供在线排序使用，但无法及时反映最新用户行为。

「影响」 Airbnb 通过 Chronon 平台将推荐嵌入向量更新延迟从近两天缩短至 10 至 30 秒，使在线排序系统能基于更及时的用户行为数据进行推荐，直接带来未取消订单量提升约 0.33% 的业务收益，同时该技术已开源，为实时特征处理和流式机器学习基础设施提供了可复用的工程范式。

「社区讨论」 暂无社区讨论内容。

标签: #推荐系统, #实时计算, #特征平台, #机器学习基础设施, #开源项目