Microsoft / Copilot

llama.cpp b11782：修复 server 多补全 token 计数偏少

llama.cpp 发布 b11782 版本，修复了 server 在 n 1 时 usage.completion tokens 统计偏少的问题（由 Copilot 辅助完成）。该版本同时提供 macOS/iOS、Linux、Android、Windows 等多平台多后端（CUDA、Vulkan、ROCm、SYCL、OpenVINO 等）的预编译二进制包。

eMudhra 中间 CA 证书私钥泄露

eMudhra 的八个中间 CA 证书私钥被泄露，这些证书可链到 Mozilla、微软、苹果和 Chrome 根程序及众多下游信任库所信任的根证书。任何内置受信任证书列表的软件都需更新，Linux 发行版需更新 ca-certificates 包；Python 生态中 uv 0.13.4、pip 26.2.2 和 certifi 2026.10.19 已发布

美国禁止联邦民事机构使用 DeepSeek 技术

美国国土安全部禁止联邦民事机构使用中国实验室 DeepSeek 的 AI 技术，要求各机构从 IT 系统中移除现有 DeepSeek 产品且不得采购新产品。该命令还涵盖关联公司产品及基于 DeepSeek 实现的第三方服务，但未设定截止日期，也未说明具体安全担忧。此举依据 2018 年联邦采购供应链安全法律，背景是此前美国政府曾考虑对中国开放权重模型采取制裁

另有 1 家信源报道

AI辅助开发是否导致软件同质化？代码相似性、质量与演化的实证研究

该研究基于 Software Heritage 快照，对 50 个长期维护的 Java 和 Python 开源项目在三个时期（前 LLM 时代、可能 LLM 辅助时代、检测到的智能体开发时代）的代码相似性、质量和演化进行实证分析。结果显示，Java 在 LLM 和智能体时代的语义与语法相似性反而显著下降，Python 无显著差异；软件质量总体稳定，智能体时代

英伟达发布开放模型，面向企业智能体与AI PC

英伟达发布面向企业常驻智能体与边缘计算的开放权重模型，包括1200亿参数的Nemotron 3.5 Super VL和两款轻量Bolt模型。Super VL主打企业级智能体任务，Bolt模型可在搭载RTX Spark芯片的AI PC和DGX Spark工作站本地运行。英伟达称Super VL在特定智能体任务上比Anthropic和OpenAI的竞品更快，并列

Anthropic 设基金救助受 AI 冲击的工人，马斯克提议直接发股票

Anthropic 计划将公司5%的股份投入新设立的「Anthropic 公共利益基金」，用于资助受 AI 冲击的失业群体，并可能直接向特定人群发放现金；该基金以全资 LLC 子公司形式设立，控制权仍归公司，股份追加由董事会酌情决定。此举发生在 Anthropic 筹备大规模 IPO 之际。马斯克在 X 上回应称应直接把股份发给公众，并称明年将向美国约720

智能体破解多义性；Meta 发布 Muse Spark Open

Goodfire 的 Nick Cammarata 发表文章提出「神经网络已经是干净的」理论，认为多义性和叠加现象可通过进一步的智能体分析化解，从而提升可解释性与对齐，并可能降低 P(doom)。Meta 发布 Muse Spark Open，这是一个 816B 总参数/42B 激活的 MoE 模型，支持 1M token 上下文和多模态输入，在 Artif

亚马逊设备主管 Panay：AI 环境设备将取代应用需求

亚马逊设备高级副总裁 Panos Panay 在 TechCrunch Disrupt 上表示，个人 AI 的未来在于环境计算而非应用。亚马逊同日发布 Bee 系列 AI 可穿戴设备，包括可拆卸手环和磁吸手机背面的卡片设备，可被动录音并生成待办与提醒。Panay 认为下一代用户将不再说“给我应用”，而是期待设备主动理解需求，但智能手机等形态不会被取代，而是由

英伟达RTX Spark真机上手：十大亮点解析

英伟达RTX Spark笔记本电脑将于10月15日晚8点全球首批开售，搭载N1X超级芯片，将Grace CPU与Blackwell RTX GPU集成，主打本地AI智能体运行。该设备提供笔记本和紧凑型桌面主机两种形态，支持本地模型推理、微调及多智能体任务，英伟达称其AI性能与DGX Spark相当，并强调本地运行可大幅降低Token成本。

NVIDIA RTX Spark 发布：面向创作者、玩家与 AI 智能体的 Windows PC

NVIDIA 发布 RTX Spark，定位为面向创作者、游戏玩家和 AI 智能体的 Windows PC，并将于 10 月 16 日在旧金山、柏林、台北、北京、伊斯坦布尔、首尔等地举办上市活动。多家媒体评测称其在本地 AI、游戏和创作工作流上表现突出，Artificial Analysis 也提供了本地 AI 性能的初步测试。NVIDIA 同时发起 #Sh

llama.cpp b11658 新增 maion-coder 架构支持

llama.cpp 发布 b11658 版本，主要新增对 maion-coder 架构的支持，并加入对 Draft 模型的初步支持，同时移除了 maion 的 context shift 函数。该改动由微软的 Karthik Vijayan 参与贡献，随版本一同提供 macOS、Linux、Windows、Android 等多平台预编译二进制。

OpenAI工程师涉窃听被捕；151款应用拒绝豆包GUI代操作；腾讯上线绿泡泡短剧

OpenAI一名沙特籍工程师因在旧金山办公室会议室电视机背面藏匿加密录音设备被捕并遭解雇，涉嫌窃听高管机密会议，但无迹象显示其接触过模型权重。豆包手机助手公示《屏幕自动化操作声明协议》后披露151款拒绝GUI自动化操作的应用清单，微信、淘宝、美团、DeepSeek等在列。此外，腾讯上线对标字节红果的免费短剧小程序绿泡泡短剧，OpenAI正洽谈收购开源安全厂商

Tamnoon 基于 Amazon Bedrock 构建 AI 云安全修复系统

Tamnoon 基于 Amazon Bedrock 构建了名为 Tami 的智能体式云安全修复编排器，可从 CNAPP 等来源摄取安全发现并自动调查、评估修复安全性并生成修复方案。该平台采用四个专用智能体（调查、安全评分、修复、代码生成）在 AWS 无服务器架构上运行，通过单一 API 调用不同基础模型。据文中数据，该方法在 90 天内将关键云暴露减少超过

Haystack 发布 v3.4.0-rc1：统一分块页码语义并更新默认嵌入模型

Haystack 发布 v3.4.0-rc1 候选版本，主要统一了各 splitter 中 page number 元数据的语义，并修复了 RecursiveDocumentSplitter 在按词切分、句子切分及空白保留方面的多个问题。该版本还移除了对 Python 3.10 的支持，将最低版本提升至 3.11，并调整了 FilterPolicy.MERG

Gemini 4 Argon 正式发布，独立评测与 Muse Wonder 同期亮相

Google 的 Gemini 4 Argon 正式 GA，面向编程、知识工作、企业工作流和网络防御开放，API 定价为每百万输入/输出 token 2/10 美元，11 月 30 日后翻倍。Google 内部称 Argon 帮助将 Chromium 六百万行遗留代码分离，数周完成数月工作，并减少近三分之一回滚。独立评测显示 Argon 在智能指数上与 GP

NVIDIA RTX Spark 发布：PC 生态全面就绪，本地 AI 代理成核心

NVIDIA 发布 RTX Spark 超级芯片，将游戏 PC、创作工作站与个人 AI 超算整合，最高 128GB 统一内存和 1 petaflop AI 算力，并宣布搭载该芯片的笔记本将于 10 月 16 日上市。围绕本地 AI 代理，NVIDIA 联合 GitHub Copilot、Hermes、OpenClaw、Perplexity 等应用推出安全沙箱

量化形式化验证中 SMT 求解器的不稳定性

该论文研究形式化验证中 SMT 求解器的不稳定性问题，即语义等价的查询排列会导致求解时间大幅波动甚至超时。作者使用变异系数（CV）对来自三个软件领域的 60,000 个 SMT 查询进行量化分析，发现不稳定性在各领域均显著存在，且平均求解时间越长的查询越不稳定。研究进一步提出，若优化查询结构以降低运行时间而非方差，可在缓解不稳定性的同时提升求解器整体性能。

硅谷跟进特朗普将AI改称“超级智能”

特朗普政府推动将“人工智能”改称为“超级智能”，并签署行政令要求政府机构使用该术语。硅谷多位科技领袖相继跟进：马斯克承诺将SpaceXAI更名为SpaceXSI，贝尼奥夫宣布Salesforce将AIForce改为SIForce，黄仁勋在相关峰会上表态并让英伟达将“超级智能研究”纳入10亿美元科学投入，纳德拉也在呼吁为AI设置“紧急刹车”的帖子中反复使用“超

AI行业能否通过取消保密协议说服数据中心反对者？

亚马逊效仿微软，宣布在与地方政府就数据中心进行谈判时不再使用保密协议（NDA）。TechCrunch 的 Equity 播客中，Sean O'Kane、Rebecca Bellan 和 Anthony Ha 讨论了这一举措，认为这是解决科技行业与社区沟通不畅问题的第一步，但社区对数据中心的抵制和暂停令可能仍会持续。

本地 AI 初体验：兴奋、压倒与挫败并存

The Verge 作者分享了自己尝试在本地运行 AI 模型的体验，认为本地 AI 兼具兴奋、压倒性和挫败感，但隐私优势使其比云端服务更具吸引力。作者在 M5 Ultra Mac Studio 上安装了开源 Hermes Agent 和 1250 亿参数的 Qwen 3.8 Flash Next 模型，并尝试了每日简报、整理 Steam 游戏库、分析财务数据