OpenAI / ChatGPT

Software Mansion 发布 whisper-tiny 的 ExecuTorch 多后端导出模型

Software Mansion 在 Hugging Face 发布了 whisper-tiny 的 ExecuTorch 导出版本，提供 CoreML、MLX、Vulkan、XNNPACK 四种后端及 fp16/bf16/int8/fp32 多种精度变体，供 React Native ExecuTorch 库在移动设备上本地运行语音识别。仓库给出 XNNP

亚马逊 Alexa 购物助手支持短信下单

亚马逊为 Alexa for Shopping 新增短信购物功能，用户可通过短信描述商品或发送照片，Alexa 会搜索亚马逊商品、回复推荐并代为下单。该功能先向美国小部分用户开放，未来几周扩展至数百万用户。此举是亚马逊在对话式购物上的延伸，也跟随 OpenAI、DoorDash 等公司推出聊天机器人短信交互的趋势。

另有 1 家信源报道

METR审计：Anthropic模型加速或已触及自身预警阈值

非营利机构METR在获得Anthropic内部研究数据十一周访问权限后发布审计报告，发现Anthropic模型能力的提升速度自2025年10月以来约为此前的1.9倍，其中约80%的加速来自AI被用于公司自身研究。该加速可能已触及Anthropic《负责任扩展政策》中设定的预警阈值，METR认为该阈值或早在7月15日就已被跨越。但Anthropic对大部分关键

Thinking Machines 发布 Inkling 2 Small，称最强西方开放权重模型

前OpenAI CTO Mira Murati 创办的 Thinking Machines 发布第二代模型 Inkling 2 Small，这是一个总参数 5940 亿、每次激活 170 亿的混合专家模型，支持文本与图像输入并可调节思考深度。其在 Artificial Analysis 智能指数上得分 31，比前代提升 18 分，与 Gemini 3.8 F

Anthropic 为 Claude 增加银行账户访问功能，可追踪消费

Anthropic 为 Claude 推出 Personal Finance 功能，用户可通过 Plaid 以只读方式连接银行账户，查询消费分类、即将到来的付款等问题，Claude 无法转移或管理资金。该功能以 beta 形式在美国面向 Pro、Max 和 Ultra 订阅用户开放，相关对话不用于模型训练，用户可随时断开连接，且不展示广告或赞助推荐。Anth

另有 3 家信源报道

PPIO 沙箱：把 Personal Agent 的云电脑做成 API

PPIO 派欧云推出 PPIO 沙箱，将 Personal Agent 所需的云端执行环境封装为开箱即用的 API，支持代码执行、浏览器访问、安全隔离、暂停恢复与克隆，冷启动平均不到 200 毫秒，并兼容 E2B 接口。文章指出 Meta Muse、OpenAI dots、Manus、Kimi Claw 等产品均为每个用户或任务配备独立云电脑，而本地运行方案

2026 奇点智能技术大会日程公布：聚焦 RSI、Agent 与 Physical AI

2026 奇点智能技术大会将于 11 月 20—21 日在北京万达文华酒店举行，官方公布了完整日程。大会设 18 大专题、70+ 演讲，覆盖 RSI、Agent、AI4AI、世界模型、Physical AI、AI Infra 与企业级应用等方向，OpenAI 的 Łukasz Kaiser、京东段楠、昆仑万维成宇等将作主会场分享。C++ 及系统软件技术大会同

360图龙锋以99.4%登顶CyberGym AI安全榜单全球第一

360自研AI安全攻防系统图龙锋在CyberGym漏洞复现榜单上以99.4%的成功率登顶全球第一，超过OpenAI、Anthropic、Google的同类安全强化模型。该系统基于360安全团队二十余年积累的真实漏洞样本与专家过程经验训练安全领域大模型，并结合专业智能体蜂群完成漏洞定位、PoC构造与复现。发布以来已累计发现超1.5万个漏洞，500余家企业接入测

AI 时代反问题的形式化：可能、陷阱与邀请

论文介绍 AutoIP——一个用 AI 智能体自动形式化的 Lean 4 库，涵盖经典线性正则化理论及其依赖的泛函分析。作者指出，机器验证的证明只保证形式陈述本身成立，真正需要人工审查的是形式陈述是否忠实表达原意，并发现教科书定理的假设比声称的更严格。作者邀请反问题社区扩展该库，认为形式化成本骤降将改变应用数学的工作方式。

llama.cpp b12143：Vulkan FWHT 内核支持 F16 与更宽块

llama.cpp 发布 b12143 版本，为 Vulkan 后端新增 FWHT（快速 Walsh-Hadamard 变换）内核支持：一是增加 F16 输入变体，使内核可直接读取 F16 源数据而无需转换副本；二是将 FWHT 支持的块宽度从 64-512 扩展至 8192，宽块改用共享内存着色器。这使 Vulkan 后端在更宽块场景下不再回退到稠密矩阵乘

llama.cpp b12141：llama-server 检查点改用引用计数

llama.cpp 发布 b12141 版本，核心改动是 llama-server 的检查点机制改用引用计数（shared ptr）替代深拷贝，以降低开销，并基于 #26004 的槽位保存/恢复逻辑适配到共享指针检查点列表与 common state data 缓冲区。该版本同时提供 macOS、Linux、Windows、Android 等多平台多后端（C

Perplexity 推出面向工作的 AI 智能体 Teammates

Perplexity 推出面向工作场景的常驻 AI 智能体 Teammates，可在工作区内承担多种角色，并复用用户已有的项目、技能与记忆，同时与 Perplexity Computer 集成以执行持续的大规模任务。该功能需订阅每月 200 美元的 Max 计划，价格高于 OpenAI Dots 和 Claude Duet 等竞品。用户可在 Perplexi

另有 1 家信源报道

llama.cpp b12135：WebGPU 新增 MEAN 算子支持

llama.cpp 发布 b12135 版本，主要变更为 WebGPU 后端新增 MEAN 算子支持（PR #31591，由 Codex 辅助完成）。该版本同时提供覆盖 macOS/iOS、Linux、Android、Windows 及 openEuler 的多平台预编译包，涵盖 CUDA、Vulkan、ROCm、SYCL、OpenVINO 等多种后端。此次

智象梅涛提出构建智能体化全模态世界模型

在2026世界顶尖科学家论坛第二届国际工程智能大会上，加拿大工程院外籍院士、智象元一（HiDream.ai）创始人兼CEO梅涛发表演讲，提出构建智能体化的全模态世界模型（Agentic Omnimodal World Models），认为大语言、多模态和具身大模型三条路线终将汇流。智象自研Unified Transformer全模态架构，搭建从图像、视频、交

另有 1 家信源报道

Claude 可通过 Plaid 直连银行账户管理个人财务

Anthropic 为 Claude 推出 Personal Finance 功能，通过 Plaid 平台以只读方式连接用户的银行和信用卡账户，可回答消费去向、账单余额、大额消费承受能力等问题。该功能本周以 beta 形式向美国 Claude Pro、Max、Ultra 订阅用户开放，Claude 无法转移或投资资金，也不提供投资建议。此举紧随 OpenAI

另有 3 家信源报道

Claude 推出个人理财工具，可连接银行账户分析消费

Anthropic 宣布为 Claude 推出 Personal Finance 工具，用户可通过 Plaid 连接银行和信用卡账户，以自然语言查询消费情况、识别重复扣费与异常费用，并解释金融术语。该功能为只读访问，对话不用于训练模型，本周起以 beta 形式向美国 Pro、Max、Ultra 用户开放。此举被视为追赶 OpenAI ChatGPT 于 5

另有 3 家信源报道

Cloudflare：AI Agent 是新型中间人，网站需重建身份与问责机制

Cloudflare AI Blog 发文指出，AI Agent 正作为新型中间人替用户执行网页操作，使网站难以识别、服务并追责背后的真实用户，从而引发账户共享、合规、友好欺诈等问题。文章提出「中间化原则」，主张生态需建立身份、声誉与问责三类新机制，以在 Agent 流量可能超过人类浏览的趋势下维持网站与用户之间的业务关系。

SemiAnalysis 发布 GDPx 真实工作基准，AI 智能体最高仅得 12%

分析机构 SemiAnalysis 发布 GDPx 基准，用 206 个跨 11 个领域的真实工作任务测试 AI 智能体，任务需在专业软件中持续数小时。结果显示所有模型得分均不超过 12%，Claude Opus 5.5 以 12% 领先，Gemini 4 Carbon 以 10.9% 紧随且成本约为三分之一，GPT-6 Astra 为 9.6%。批评者指出

Axiom Math 用 AI 智能体形式化验证 Stacks 数学库

Axiom Math 宣布已用 AI 智能体将人类最大数学文献库之一 Stacks Project（约 7654 页）形式化为约 1600 万行 Lean 代码，并通过证明助手逐行验证。这家估值 16 亿美元的初创公司由 25 岁的 Carina Hong 于 2025 年 3 月创立，今年 3 月完成 Menlo Ventures 领投的 2 亿美元 A

Google Cloud API Gateway 推出流式支持，面向实时与 AI 应用

Google Cloud 宣布 API Gateway 的流式支持进入公开预览，将传统请求-响应模型扩展至实时通信场景，尤其面向流式模型响应、多步 Agent 工作流和交互式会话等 AI 应用。新功能让流式端点可在保留 API Key 校验、JWT 验证、日志监控等既有网关策略的同时运行，并引入可预测的网关主机名格式。API Gateway 还支持模型路由，