AI 周报 · 2026 年第 44 周 · 10.26 — 11.01
AI NEWS
本周谷歌、OpenAI、Mistral 等发布了 Gemini 4 Carbon、GPT-6.1 Terra 和 Mistral Large 4 等多款前沿大模型。同时,Anthropic 提交首次公开募股注册声明,其 VS Code 插件也遭遇了安全木马篡改事件。在学术研究方面,研究人员利用 AI 智能体集群在 24 天内完成了有限单群分类定理的机器验证。
Anthropic 提交首次公开募股 S-1 注册声明文件
Anthropic 向美国证券交易委员会提交了首次公开募股的 Form S-1 注册声明,计划在纳斯达克全球精选市场以“ANT”为股票代码发行 A 类普通股。文件披露了其作为公共利益公司的特殊治理结构,包括由长期利益信托持有的 Class T 股份、由创始人有限责任公司持有的 50.1% 投票权 Class F 股份,以及主承销商团队。
模型发布/更新
本版导读各大厂商集中发布了多款重量级前沿大模型与开源小模型系列,通过架构创新与价格调整进一步拓展了多模态交互和长周期推理等应用场景。
谷歌发布 Gemini 4 Carbon 模型,主打网络安全防御与长周期能力
谷歌发布新一代前沿大模型 Gemini 4 Carbon,具备顶尖的网络安全防御、长周期推理与编码能力。该模型在 SEC-bench Pro、ExploitGym 和 CWE-bench 等网络安全基准测试中表现领先,定价与 Argon 相同,输入每百万 token 2 美元、输出 10 美元,首批面向网络防御者和信任合作伙伴推出。
Liquid AI 发布 LFM3 新一代多模态小模型系列
Liquid AI 发布了新一代 Liquid Foundation Models (LFMs) LFM3 系列,包含文本、视觉、音频、多模态全能及结构化决策等 2B 规模以内的开源模型。该系列采用包含 13 个卷积层、5 个滑动窗口注意力层与 6 个全局注意力层的 tri-hybrid 架构,在参数量缩减 35% 的同时提升了各项模态的端侧推理效率与智能体任务表现。
Hugging Face 介绍 Mistral Large 4 架构、网络安全能力与多端推理方案
Hugging Face 博客介绍了 Mistral 开源的多模态多语言混合专家模型 Mistral Large 4,该模型拥有约 1 万亿总参数、490 亿激活参数及 100 万 token 上下文窗口。
Google DeepMind 发布实时交互世界模型 Genie 4
Google DeepMind 发布全新世界模型 Genie 4,支持实时交互模拟、原生音频生成及自然语言场景修改。该模型融合了 Gemini 系列的推理与多模态能力,可进行物理场景模拟与实时对话,目前已作为研究预览版向受信任的测试人员开放。
OpenAI 发布 GPT-6.1 Terra,API 价格减半并在多项基准上逼近更大模型
OpenAI 发布了 GPT-6.1 Terra 模型,其 API 价格较 GPT-5.6 Terra 减半,输入 token 为每百万 1 美元,输出为 5 美元,且在多项基准测试中逼近更大模型。
港科大与 CMU 等开源 EdgeRock-4B 模型,KV Cache 减少超 99% 且吞吐提至 6 倍
港科大、CMU 与岩山科技旗下岩芯矩阵联合发布并开源 EdgeRock-4B 模型,采用全新的岩锚记忆机制(RMA),在 256K 上下文下将 KV Cache 占用固定在 72MiB 并减少 99.1%。单卡在 32K 输入输出下可同时跑 512 路并发,输出吞吐达 12124 tokens/s,同时基本保留了源模型的推理和多模态能力。
Mistral 发布 1 万亿参数 Mistral Large 4 权重并将 API 价格约减半
Mistral 发布了 1 万亿参数的 Mistral Large 4 权重并将其 API 价格减半,同时采用限制 Model-as-x-Service 的修改版 MIT 许可证。
产品发布/更新
Lasm:在 Lean 中编写经形式化验证的 Node、serverless 与 edge Web 应用
Lasm 是一个将 Lean 4 程序提前编译为 WebAssembly 的工具链,支持将单一 Lean 代码库部署为 Node 服务、serverless/edge 函数、WASI 模块或浏览器应用。该工具内置 Lean、Lake 及构建工具,并结合了形式化定理证明能力,提供多种模板与多平台部署支持。
行业动态
本版导读行业在迎来企业公开募股进展的同时,也面临着插件代码被篡改、通信协议存在权限边界缺陷以及基础计算假设遭到反驳等多重安全与理论挑战。
Claude Code VS Code 插件遭黑客篡改并在 Cursor 市场分发木马
安全研究员 Kevin Beaumont 披露,Anthropic 官方 Claude Code 的 VS Code 插件此前遭到入侵,其 2.1.313 版本被植入包含 SSH 反向后门的远程访问木马并在 Cursor 等市场分发。
Tailworm 安全评估报告:Tailscale 与 headscale 的漏洞分析
安全研究员发布了针对 Tailscale v1.104.2 与 headscale v0.29.5 的安全评估报告,详细披露了 11 项漏洞。报告指出,SSH Unix 套接字转发、应用连接器(conn25)及服务端功能存在权限边界缺陷、TOCTOU 竞态条件和拒绝服务风险,允许攻击者在特定条件下获取目标主机的 root 权限或绕过网络策略。
前沿 AI 实验室称其模型反驳了指数时间假设:这意味着什么?
OpenAI 和 Anthropic 近期发布了据称能反驳计算机科学中指数时间假设(ETH)的模型算法成果,引发了科学界的震动与合作研究。该突破涉及 P 与 NP 问题及密码学安全性等核心计算复杂性领域,迫使研究人员重新审视现有的基础理论与科学研究范式。
论文研究
本版导读研究团队在数学定理机器验证、双层智能体架构探索、端到端分层网络架构以及抗体辅助设计等领域取得了多项重要学术进展。
OpenAI 公布数学、计算机科学与物理学三项新发现及学术合作策略
OpenAI 宣布在数学、计算机科学和物理学领域取得三项新发现,分别涉及局部平滑猜想、指数时间假设以及量子色动力学和标准模型完备性,并正与外部学术专家合作开展结果验证与发布。数学与计算机科学的相关 AI 输出和 Lean 形式化证明已公开至 GitHub,物理学相关成果则交由专家组评估发布。
DeepSeek 提出 Super-agent 双层架构:Router 与 Worker 分工,迈向更自主的 Agent 系统
DeepSeek 团队发布《Super-agent 设计探索:迈向更自主的 Agent 系统》一文,提出了面向工程实践的 Super-agent 双层架构与设计思路。
Axiom 智能体集群用 24 天完成有限单群分类定理的机器验证
Axiom 的 AI 智能体集群在 24 天内完成了有限单群分类定理的机器验证,将 500 多篇论文中的 1.5 万页内容转化为 3800 多万行机器验证代码,并发现了已发布文献中的 34 处严重不一致。该工作展示了智能体集群在处理长达数十年的复杂数学证明上的进展。
Cartesia 发布分层网络架构 H-Nets 并开源相关研究
Cartesia 发布了名为分层网络(H-Nets)的新型端到端架构,用动态分块替代传统字节分词,并在语言、代码、DNA及图像等模态上展现出显著的计算效率与泛化能力。文章展示了 H-Nets 的缩放定律、与基准模型的对比结果以及在上下文分词等方面的涌现行为。
开源 AI 模型能够利用补丁空窗期漏洞
研究表明,开源模型 GLM 5.3 能够利用补丁发布到用户升级之间的空窗期漏洞,自主对近期多个 Firefox 版本发起攻击。实验显示,在提供公开信息和基础工具的情况下,模型能够串联补丁空窗期信息与未公开漏洞,在不需要人工干预的情况下构建成功攻击。该研究提示软件行业需要缩短安全修复公开与正式发布的间隔,以应对日益扩散的 AI 网络安全能力。
利用 Claude 赋能的抗体设计开发食物过敏 IgE 抑制剂
Divergence Labs 的研究人员描述了一项在 Claude 辅助下进行的计算机抗体设计行动,旨在开发针对食物过敏的 IgE 破坏性抑制剂。通过 Claude 对设计任务的分解与编排,团队成功设计并表征了能从受体上置换 IgE 的破坏臂变体以及可作为双特异性抗体基础的新 de novo 锚定臂。
技巧与观点
三套 Agent Skills 组合复刻顶级 iOS App 设计
作者介绍了通过 Appllama、Expo 和 Emil Kowalski 三套 Agent Skills 组合来复刻顶级 iOS App 设计的方法。其中 Appllama 提供设计参考与原生感标准,Expo 规范工程与分发流程,Emil 补充动效与界面品味规则,三者结合让智能体摆脱传统逆向工具链、直接生成高质量应用。
LangChain 开源 Content Studio 设计 Agent 四个月实践
LangChain 团队开源了 Slack 设计智能体 Content Studio 并详解了四个月的实践经验。该系统通过将设计品味写入 skills 与 wiki、为每条线程配置独立 Linux 沙箱以及采用异步子 Agent 架构,实现了从需求沟通到高质量成片的可量产交付。