AI Tracker下載 App

程式開發新聞，
為開發者整理。

各家 AI 公司最新的程式開發動態：發表、調價和停用，並附上對你的影響。

Cursor· 程式開發

Cursor 讓雲端代理建置並託管即時 Web 應用程式

Cursor 表示，現在你可以在 Cursor 中建置 Web 應用程式，並透過連結分享。你只要啟動雲端代理，告訴它想建置什麼應用程式；Cursor 就會建立應用程式的基本架構、視需要啟動 Postgres 資料庫、在 Cursor SSO 後方設定驗證機制，並配置託管服務。發布時，你可以選擇一個專屬網域，取得可即時使用的連結。如果應用程式需要連接你的系統（例如資料倉儲），Cursor 會詢問所需的密鑰。模型

Design Arena 將 Ling-3.2-flash 列為 Image to Frontend Arena 第 10 名

Design Arena 表示，Ant Ling 的 Ling-3.2-flash 在其 Image to Frontend Arena 排名第 10，Elo 分數為 1238，排名中還有 Meta、Anthropic 和 DeepSeek 的模型。該平台稱，這款模型在偏好度與價格之間創下新的 Pareto 前緣，輸入價格為每 100 萬個 token 0.30 美元，輸出價格為 0.90 美元，是同等效能模型中最便宜的。程式開發

Cognition 推出 Devin Review 2.0，稱其成本最高可降低 5 倍、速度提升 1.5 倍

Cognition 表示，Devin Review 2.0 是 Devin 的拉取請求審查功能，成本最高可比以往降低 5 倍、速度提升 1.5 倍，並新增功能與整合。它新增 Autofix 選項；Cognition 稱此功能有助於節省審查時間，並表示此版本已在 Devin Cloud 和 Devin Desktop 上推出。成本與速度數據均為 Cognition 自行提供。Mistral AI· 程式開發

Mistral 為其企業 AI 平台 Mistral Studio 新增代管代理與應用程式

Mistral 擴充了 Mistral Studio——這個用於打造及運行企業 AI 的平台——新增代管代理與應用程式，以及工作流程、企業情境、代理可觀測性和評估等新功能。Mistral 將 Studio 定位為讓 Mistral Large 4（「Le Chonk」）在企業中發揮作用的平台層。傳聞OpenAI· 模型· 10 則討論

GPT-6.2 Astra appears in some users' Codex usage; OpenAI has not announced it

OpenAI has not announced a GPT-6.2 Astra. Several users report that their Codex usage breakdowns list a model called gpt-6.2-astra, while the model picker still shows GPT-6 Astra.OpenAI· 程式開發

曾任 Claude Code 產品負責人的 Cat Wu 加入 OpenAI，領導 Core Products 產品管理

Cat Wu 在 X 上宣布，將加入 OpenAI，領導 Core Products 的產品管理。他們表示，將與 Tibo（@thsottiaux）、PM 團隊及 OpenAI 其他成員合作，目標是「打造能支持你和團隊、同時讓你掌控一切的代理」。他們沒有說明 Core Products 涵蓋哪些產品。OpenCode Go· 模型

Tencent 的 Hy4 現已在 OpenCode Go 上線

OpenCode 在 X 上宣布，Tencent 的 Hy4 現已在 OpenCode Go 上線；OpenCode Go 是其適用於開源程式設計模型的訂閱方案。貼文未提供該模型的使用限制或價格。Tencent 於 11 月 3 日發布 Hy4。OpenAI· 模型· 3 則討論

OpenAI 表示，即將推出的資安模型，其管線產生了 948 個 Linux 核心權限提升漏洞利用程式

OpenAI 描述了一套自主管線，可尋找、重現、利用並修補 Linux 核心漏洞；這套管線搭配一款尚未發布、即將推出的資安模型執行。OpenAI 表示，在 10 月中旬一次針對標準桌面 Linux 發行版的執行中，管線分析了 2,308 個候選發現、以動態方式重現了 1,724 個漏洞，並產生 291 個資訊洩漏概念驗證，以及 948 個可用的本機權限提升（LPE）漏洞利用程式，讓未具特權的本機使用者取得 root 權限。人類研究人員審查結果後，連同候選修補程式一併回報給維護者。Google· 程式開發

Antigravity CLI：`/btw` 側邊問題可使用工具、`--settings` 可覆寫設定，並內建 `agy acp`

Shengzhe Yao 在 X 發文，介紹團隊為日常使用 agy 所推出的變更，並列出 Antigravity CLI 的三項更新：Meta· 程式開發

用於平行執行程式碼代理的應用程式 Conductor 將加入 Meta

Conductor 創辦人 Charlie Holtz 在 X 上宣布，Conductor 將加入 Meta。團隊將與 Meta Superintelligence Labs (MSL) 的 Nat Friedman 和 Alexandr Wang 合作，打造 Holtz 所稱的「下一個介面」；他表示，喜歡 Conductor 的使用者也會喜歡即將推出的產品。貼文未透露這筆交易的條款。Google· 程式開發

Gemini CLI 0.67.0 新增 `models` 命令與 `--list-models` 旗標

Gemini CLI 0.67.0 新增 models 命令與 --list-models 旗標，可用來查詢可用模型。它也能透過 exec stdio，將 IDE companion 連接至容器沙箱。GitHub Copilot· 程式開發

GitHub Copilot 現已可在 Xcode 的程式碼助理中使用

GitHub 表示，現在可以在 Xcode 內建的程式碼助理中使用 Copilot。此整合目前處於公開預覽階段，從 Xcode 27.3 beta 開始提供，並支援所有 Copilot 方案。模型· 4 則討論

Ricursive AI 推出 Ripple-65B Preview：適用於代理式程式設計的 650 億參數密集型開放權重模型

Ricursive AI 於 11 月 4 日推出 Ripple-65B Preview，這是一款擁有 650 億參數的密集型語言模型，該公司表示是從頭開始預訓練的。公司聲稱，在代理式程式設計任務上，這款模型為美國開放權重模型創下新的最先進成果，超越了該公司列出的多款規模大得多的模型：Muse Spark Open-816B、Beam-501B、Inkling-975B 和 Nemotron 3 Ultra-550B。以上皆為該公司的說法。模型

Cognition 發布 SWE-2 Flash：以 Thinking Machines 的 Inkling-Small 為基礎打造的更快、更便宜的程式碼模型

Cognition 推出 SWE-2 Flash，這款程式碼模型以 Thinking Machines 的 Inkling-Small 為基礎（總計 276B、啟用參數 12B）。Cognition 表示，它的成本比 SWE-2 低 5 倍、執行速度快 3 倍，且在領先的評測中，表現勝過所有美國開放權重模型，包括規模大 3 倍的模型。這些都是 Cognition 自身的說法。Anthropic· 程式開發

Claude Code 的背景子代理狀態更新現在便宜約 99%

Anthropic 的 ClaudeDevs 帳號於 11 月 4 日在 X 表示，Claude Code 的背景子代理現在消耗較少的用量額度。執行中的子代理每 30 秒更新一次狀態列，而過去每次更新都會重新讀取該子代理的整段對話。現在則由 Haiku 5.5 根據簡短備註撰寫狀態列；Anthropic 表示，這使每次更新的成本降低約 99%。子代理本身仍使用自己的模型。模型

Axiom 發布《Stacks Project》完整形式化成果，共 1,600 萬行

AI 數學公司 Axiom 發布了《Stacks Project》的完整形式化成果。這是一部大型代數幾何參考著作，Axiom 稱其為現代數學的關鍵基礎設施。Axiom 表示，成果共 1,600 萬行，程式碼品質經過最佳化，並保留了該專案高度互連的結構；Axiom 稱之為「一座數學之城」。模型

Arena：在 Agent Arena 的長時間任務中，Claude Opus 5.5 執行時間最長，Kimi K3.1 Pro 最短

Arena（排行榜發布者）表示，其 Agent Arena 中需要數百回合的長時間任務（例如將程式碼庫移植到 Rust、稽核投資策略文件、撰寫數學教科書），會放大前沿模型之間的差異。程式開發

Cloudflare 開源供程式設計代理使用的安全稽核 skill

Cloudflare 的開發者帳號發布了開源 skill cloudflare/security-audit-skill，可將程式設計代理轉變為一組安全稽核員。Cloudflare 表示，這項 skill 是其自家漏洞探索測試架構的起點。OpenAI· 程式開發· 3 則討論

OpenAI 將收購 Codex 檔案與差異檢視功能背後的程式碼儲存新創公司 Pierre Computer

Axios 援引 OpenAI 的說法報導，OpenAI 將收購開發者工具新創公司 Pierre Computer，進軍長期由 Microsoft 的 GitHub 主導的領域。報導指出，OpenAI 計劃將 Pierre 的程式碼儲存技術整合至 Codex，讓這款程式設計工具延伸至開發者儲存及管理程式碼的基礎設施。Mistral AI· 模型

Mistral 展示 Mistral Large 4 發現、重現並修補 Django CVE

Mistral 在 X 發布一段影片，展示 Mistral Large 4（「Le Chonk」）處理近期的 Django CVE。影片說明指出，133 個代理會分析程式碼、搜尋漏洞、測試攻擊情境並確認錯誤，接著由模型撰寫修補程式：分類、重現、修復。影片以 90 倍速播放。
較早的新聞