AI Tracker下載 App

AI 新聞，
為開發者整理。

各家 AI 公司的發表、調價和停用，重點摘要，並附上你需要採取的動作。與 App 的新聞頁同步。

模型

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，並稱其為可供進一步訓練的開放基礎模型。團隊表示，新模型針對推理和真實世界的代理工作流程進行了進一步的後訓練。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 都未說明原因，該項目也未說明模型在該日期之後會如何處理。OpenCode Go· 程式開發

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 億人口。OpenAI· 程式開發

OpenAI 與 Oracle 擴大合作，將 Oracle 應用程式引進 ChatGPT

OpenAI 表示，正擴大與 Oracle 的合作，將 Oracle 應用程式和資料引進 ChatGPT，並以 OpenAI 模型為新的 Oracle 產品提供支援。OpenAI 指出，Oracle 正在開發 Oracle AI Workspace，讓使用者能透過 ChatGPT，在各組織的權限與核准機制範圍內，搜尋資訊並完成 Oracle 財務、採購與規劃應用程式中的核准業務流程。Anthropic· 模型

Anthropic 論文聲稱內部 Claude 模型也推翻了指數時間假說

一篇刊登於 hexagonmath.org、標示由 Anthropic 於 2026 年 10 月 27 日提交的預印本，聲稱提出一種針對 n 個變數 3-SAT 的確定性演算法，執行時間為 2^o(n)，若屬實，將推翻指數時間假說（ETH）。論文指出，該演算法也能解決更難的 #3-SAT 問題（計算滿足條件的指派數量），並稱此結果已在 Lean 4 中形式化。模型

Baidu 開源 Unlimited OCR 2：解碼成本近乎固定的文件解析器

Baidu 於 10 月 26 日在 X 宣布推出 Unlimited OCR 2，並在 GitHub 提供程式碼、在 Hugging Face 提供模型權重。這款模型旨在有限的上下文視窗中解析幾乎不限長度的文件。GitHub Copilot· 程式開發

GitHub Copilot CLI 1.0.104 讓 Autopilot 等待背景任務，並開放 Assisted Permissions

根據 2026 年 10 月 27 日發布的版本說明，GitHub Copilot CLI 1.0.104 有以下更新：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 均未說明新增或移除此日期的原因。Anthropic· 基礎架構

Anthropic 的 Logan Graham 更正《華盛頓郵報》對 Cathedral 入侵事件的報導

Anthropic Frontier Red Team 的 Logan Graham 於 10 月 26 日在 X 發文，更正《華盛頓郵報》的報導及相關反應。報導稱，一家資安新創公司的 AI agents 在不到 12 小時內闖入 Anthropic 的系統。以下是 Graham 的說法，並非 Anthropic 的公告：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 的一篇貼文同步發布。GitHub Copilot· 程式開發

GitHub Copilot 輔助權限已在 CLI、Copilot app 和 VS Code 正式推出

GitHub 表示，GitHub Copilot CLI、GitHub Copilot app 和 Visual Studio Code 現已正式推出輔助權限。當 Copilot 詢問是否要執行命令、存取檔案系統路徑或開啟 URL 時，會由大型語言模型評估該請求。模型判定明確安全的請求會自動執行；其他請求則需要使用者核准。模型

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 自行測得。Cursor· 模型· 1 則討論

DeepSeek V4.1 Flash 現已在 Cursor 上推出

Cursor 於 10 月 26 日宣布，DeepSeek V4.1 Flash 已可在編輯器中使用；前往 Cursor Settings > Models 即可啟用。Cursor 表示，所有努力程度都位於 CursorBench 的成本前緣，每項任務費用為 $0.60 至 $0.98，且沒有其他模型能以相同成本取得更高分數。這些數據是 Cursor 根據自家基準測試得出的數字。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:OpenAI· 模型· 7 則討論

OpenAI 表示其模型證明了局部平滑猜想、推翻了指數時間假說，並證明了 Yang–Mills 理論的存在性

OpenAI 宣布其模型在數學、電腦科學和物理學領域取得三項成果。以下內容皆為 OpenAI 自行提出的說法；目前尚無任何成果經過獨立驗證，而 OpenAI 表示這些結果已在 Lean 中檢查。程式開發

Scale AI 的 AgentEnv 評測現在可在 Vercel Sandbox 上執行

Vercel 表示，現在可以在 Vercel Sandbox 上執行來自 Scale AI Labs 的 AgentEnv 評測。你可以指派任務給代理程式，在沙箱中執行，並檢查執行成效。Vercel 已在沙箱文件中發布變更紀錄和設定指南。程式開發

Vercel Sandbox 命令現在支援 stdin

Vercel 表示，在 Vercel Sandbox 中執行的命令現在可以從 stdin 接收輸入。這讓你能在 sandbox 中將輸入傳送給執行中的 CLI 工具和 stdio MCP 伺服器，例如 agent-browser。詳情請見 Vercel 的變更紀錄。GitHub Copilot· 模型

GPT-6.1 Terra 正式推出，開放所有 GitHub Copilot 使用者使用

GitHub 表示，OpenAI 最新模型 GPT-6.1 Terra 已在 GitHub Copilot 正式推出，開放所有使用者使用。GitHub 將其描述為一款適合日常代理式程式設計與終端機工作的模型，成本低於 GPT-6.1 Sol；並表示在早期測試中，與 GPT-5.6 Terra 相比，它解決的終端機與 C# 程式設計任務明顯更多，也能針對範圍明確的任務，以聚焦且精簡的步驟完成工作。
較早的新聞