AI Tracker下载 App

AI 新闻，
为开发者整理。

各家 AI 公司的发布、调价和下线，一句话讲清楚，附上你需要做什么。与 App 的新闻页同步。

订阅 AI 新闻Telegram X Threads

Axiom称，AI 智能体已在 Lean 中形式化有限单群分类定理

AI 数学公司 Axiom 在 X 上宣布，已在 Lean 中完成有限单群分类定理的完整自动形式化，并称这一成果为“对称性的元素周期表”。Axiom称，原始证明约有 15,000 页，由几代 100 多位数学家共同完成，并称这是历史上规模最大的经计算机验证的数学证明。

Ling 发布 Ling-3.1-flash-1019 开放权重及基础模型

Ling 团队表示，Ling-3.1-flash-1019 现已开源，权重可在 Hugging Face 和 ModelScope 上获取。团队还发布了 Ling-3.1-flash-base，并称其是一个开放的基础模型，可用于进一步训练。团队表示，新模型针对推理和真实世界的智能体工作流进行了进一步的后训练。2710月OpenRouter· 模型

OpenRouter 的模型目录显示 Meta: Llama 3.1 70B Instruct 将于 11 月 3 日到期

OpenRouter 的模型目录现显示，"Meta: Llama 3.1 70B Instruct"（meta-llama/llama-3.1-70b-instruct）的到期日期为 2026 年 11 月 3 日。该模型自 2024 年 7 月 23 日起列入目录，上下文长度为 131,072 个 token。此前，该条目没有到期日期。这只是目录中的一个字段；据我们所见，OpenRouter 和 Meta 均未说明原因，该条目也没有说明模型在该日期之后会如何处理。2710月OpenCode Go· 编程

OpenCode 为 OpenCode Desktop 新增插件

LukeParkerDev 于 10 月 27 日在 X 上宣布 OpenCode Desktop 插件，并发布了一段简短的演示视频，以及 OpenCode 关于构建 GUI 插件的文档链接。引用该帖的 thdxr 表示，桌面插件延续了 OpenCode TUI 插件的相同模式，因此一个软件包可以同时提供服务器、TUI 和桌面插件；他还称右侧面板是添加实用功能的好位置。OpenCode 官方账号也转发了该帖。

面向印度语言的语音模型 Maya-2 已发布，权重开放

Maya-2 是一款面向印度市场的语音（语音合成）模型，10 月 27 日以 Hugging Face 名称 maya-research/maya2-native 开放权重。X 上的公告称，该模型覆盖印度全部 28 个邦和 8 个中央直辖区，面向超过 15 亿人口。

2710月OpenAI· 编程

OpenAI 与 Oracle 扩大合作，将 Oracle 应用引入 ChatGPT

OpenAI 表示，正在扩大与 Oracle 的合作，将 Oracle 应用和数据引入 ChatGPT，并利用 OpenAI 模型为新的 Oracle 产品提供支持。据 OpenAI 介绍，Oracle 正在开发 Oracle AI Workspace，让用户能够在 ChatGPT 中查找信息，并在各组织的权限和审批机制范围内，跨 Oracle 财务、采购和规划应用完成获批的业务工作流。2710月Anthropic· 模型

Anthropic 一篇论文声称，内部 Claude 模型也推翻了指数时间假设

hexagonmath.org 上的一篇预印本注明由 Anthropic 于 2026 年 10 月 27 日提交。论文声称，针对 n 个变量的 3-SAT 存在一种确定性算法，运行时间为 2^o(n)，这将推翻指数时间假设（ETH）。论文称，该算法还可以解决更难的 #3-SAT 问题，即统计满足赋值的数量，并且这一结果已在 Lean 4 中形式化。2710月模型

Baidu 开源 Unlimited OCR 2，这款文档解析器的解码成本近乎恒定

Baidu 于 10 月 26 日在 X 上宣布推出 Unlimited OCR 2，并在 GitHub 上提供代码、在 Hugging Face 上提供权重。该模型旨在有限的上下文窗口内解析几乎任意长度的文档。2710月GitHub Copilot· 编程

GitHub Copilot CLI 1.0.104：Autopilot 将等待后台任务，并开放 Assisted Permissions

据其发布说明，GitHub Copilot CLI 1.0.104 于 2026 年 10 月 27 日发布：2710月OpenRouter· 模型

OpenRouter 目录中 Z.ai: GLM 4.5V 的 12 月 31 日到期日期已移除

OpenRouter 的模型目录不再显示“Z.ai: GLM 4.5V”（z-ai/glm-4.5v）的到期日期。自 10 月 24 日起，该条目一直标注到期日期为 2026 年 12 月 31 日。该模型自 2025 年 8 月 11 日起列入目录，上下文长度为 65,536 个 token，目前仍在目录中。这是目录中的一个字段；OpenRouter 和 Z.ai 均未说明添加或移除该日期的原因。2610月Anthropic· 基础设施

Anthropic 的 Logan Graham 更正《华盛顿邮报》关于 Cathedral 入侵事件的报道

Anthropic Frontier Red Team 的 Logan Graham 于 10 月 26 日在 X 上发文，更正《华盛顿邮报》的报道及相关反应。报道称，一家安全初创公司的 AI agents 在不到 12 小时内攻入 Anthropic 的系统。以下是 Graham 的说法，并非 Anthropic 的公告：2610月Z.ai· 基础设施· 2 条讨论

Cloudflare 称，Workers AI 上 GLM 5.3 的配置不匹配导致 KV 缓存页在不同请求间泄露

Cloudflare 于 10 月 26 日发布了披露说明和修复报告，称 Workers AI 上 GLM 5.3（@cf/zai-org/glm-5.3）的配置不匹配触发了推理引擎 SGLang 中的一个漏洞，导致 KV 缓存页在不同请求间泄露。此次披露与 SGLang 发布的一篇文章协调进行。2610月GitHub Copilot· 编程

GitHub Copilot 辅助权限已在 CLI、Copilot 应用和 VS Code 中全面推出

GitHub 表示，GitHub Copilot CLI、GitHub Copilot 应用和 Visual Studio Code 中的辅助权限现已全面推出。当 Copilot 请求运行命令、访问文件系统路径或打开 URL 时，大语言模型会评估该请求。被判定为明确安全的请求会自动执行；其他请求则需要用户批准。2610月模型

Artificial Analysis 推出 Code2Video-AA：评测用代码制作的营销视频

Artificial Analysis 推出了 Code2Video-AA，这是其与 HeyGen 合作开发的 HeyGen Code2Video Bench 自有实现。模型会收到 114 份产品和品牌营销简报，并须在单次回复中为每份简报生成 HyperFrames HTML 合成内容，不能使用工具；随后在无法访问网络的情况下将其渲染为视频。评审模型（Gemini 4 Argon，high）会从互动性、提示意图、构图、时间一致性和制作水准五个方面对视频进行两两比较，并将五个维度的 Elo 评分取平均，作为总分。超过 35,000 次评判为 27 个模型排名。结果由 Artificial Analysis 自行得出。2610月Cursor· 模型· 1 条讨论

DeepSeek V4.1 Flash 现已在 Cursor 中上线

Cursor 于 10 月 26 日宣布，DeepSeek V4.1 Flash 已在编辑器中上线；可在 Cursor Settings > Models 中启用。Cursor 表示，各个 effort level 的表现都处于 CursorBench 的成本前沿，每项任务的成本为 $0.60 至 $0.98；没有其他模型能以这一成本取得更高分。这些数据来自 Cursor 自己的基准测试，是 Cursor 提供的数据。2610月Anthropic· 编程· 2 条讨论

Claude Code 2.1.311 changes ultrathink, loads model settings from a signed file on cloud providers, and fixes the 1M-context error

Claude Code v2.1.311, released October 26, 2026, per its release notes:2610月OpenAI· 模型· 7 条讨论

OpenAI称其模型证明了局部平滑猜想、推翻了指数时间假设，并证明了杨–米尔斯理论的存在性

OpenAI宣布，其模型在数学、计算机科学和物理学领域取得了三项成果。以下内容均为OpenAI单方面说法；目前尚未经过独立验证。OpenAI称，这些结果已在Lean中核验。2610月编程

Scale AI 的 AgentEnv 评测现已可在 Vercel Sandbox 上运行

Vercel 表示，现在可以在 Vercel Sandbox 上运行来自 Scale AI Labs 的 AgentEnv 评测。你为智能体分配一项任务，在沙箱中运行它，并检查其表现。Vercel 发布了一篇更新日志和一份沙箱文档中的设置指南。2610月编程

Vercel Sandbox 命令现已支持标准输入

Vercel 表示，在 Vercel Sandbox 中运行的命令现在可以从标准输入接收输入。这样一来，你就能在沙箱中向正在运行的 CLI 工具和 stdio MCP 服务器（例如 agent-browser）发送输入。详情请见 Vercel 的更新日志。2610月GitHub Copilot· 模型

GPT-6.1 Terra 现已在 GitHub Copilot 中全面开放

GitHub 表示，OpenAI 最新模型 GPT-6.1 Terra 现已在 GitHub Copilot 中全面开放。GitHub 称，该模型专为日常智能体编程和终端工作打造，成本低于 GPT-6.1 Sol；早期测试显示，它解决终端和 C# 编程任务的数量明显多于 GPT-5.6 Terra，并能针对范围明确的任务，以专注、精简的步骤完成工作。

更早的新闻