AI Tracker下载 App

编程新闻，
为开发者整理。

各家 AI 公司最新的编程动态：发布、调价和下线，附上对你的影响。

Cursor· 编程

Cursor 让云端代理构建并托管实时 Web 应用

Cursor 表示，你现在可以在 Cursor 中构建 Web 应用并通过链接分享。启动云端代理并告诉它你想构建什么应用后，Cursor 会搭建应用框架；如有需要，还会启动 PostgreSQL 数据库、在 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 的模型。该机构称，这款模型在偏好度与价格的权衡上树立了新的帕累托前沿，输入价格为每 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）、产品经理团队以及 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 超级智能实验室（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：一款用于智能体编程的 65B 稠密开放权重模型

Ricursive AI 于 11 月 4 日发布 Ripple-65B Preview。这是一款拥有 650 亿参数的稠密语言模型，公司称其从头开始预训练。公司声称，该模型在智能体编程任务上创下美国开放权重模型的新 SOTA，超过了其列出的规模大得多的模型：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 倍；在领先的评测中，它的表现优于所有美国开源权重模型，包括规模是它三倍的模型。以上均为 Cognition 自己的说法。Anthropic· 编程

Claude Code 的后台子代理状态更新现在便宜了约 99%

Anthropic 的 ClaudeDevs 账号于 11 月 4 日在 X 上表示，Claude Code 中的后台子代理现在消耗的使用额度更少。运行中的子代理每 30 秒更新一次状态行；过去，每次更新都会重新读取该子代理的完整对话。现在，Haiku 5.5 会根据简短备注生成状态行。据 Anthropic 称，这使每次更新的成本降低了约 99%。子代理本身仍使用自己的模型。模型

Axiom 发布了对整个 Stacks Project 的形式化成果，共 1600 万行

AI 数学公司 Axiom 发布了对整个 Stacks Project 的形式化成果。Stacks Project 是一部关于代数几何的大型参考著作，Axiom 称其为现代数学的关键基础设施。Axiom 表示，成果共有 1600 万行，代码质量经过优化，并保留了该项目高度互联的结构；Axiom 将其称为“一个数学之城”。模型

Arena：在 Agent Arena 的长时程任务中，Claude Opus 5.5 耗时最长，Kimi K3.1 Pro 最短

Arena（排行榜发布方）称，其 Agent Arena 中的长时程任务通常包含数百轮（例如将代码库移植到 Rust、审计投资策略文档、撰写数学教科书），这会拉大前沿模型之间的差距。编程

Cloudflare 开源面向编程代理的安全审计 skill

Cloudflare 的开发者账号发布了 cloudflare/security-audit-skill，这是一款开源 skill，可将编程代理变成一支安全审计团队。Cloudflare 表示，这款 skill 为其自有的漏洞发现测试框架提供了灵感。OpenAI· 编程· 3 条讨论

OpenAI 将收购代码存储初创公司 Pierre Computer，该公司为 Codex 的文件和差异视图提供支持

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 倍。
更早的新闻