关键信号

• GPT-5.5 现已面向 GitHub Copilot 全面可用，早期测试者反馈其在智能编程和安全漏洞检测方面实现了显著提升。 GitHub 正在向所有主流编辑器推出 OpenAI 最新模型——涵盖 VS Code、JetBrains、Copilot CLI、云端 Agent、GitHub Mobile，面向 Pro+、Business 和 Enterprise 用户，促销期按 7.5 倍高级请求倍率计费。安全公司 Xbow 的独立测试显示，GPT-5.5 将漏洞漏检率降至 10%，而 GPT-5 为 40%，Opus 4.6 为 18%。研究者 Ethan Mollick 认为 GPT-5.5 表明"AI 的快速进步尚未结束"，Simon Willison 则指出该模型成本约为前代的两倍，GPT-5.4 可能因性价比优势而延续更长的生命周期。 [1][2]

• Cursor 推出异步子 Agent 并行执行、Worktrees 和多根工作区功能，将智能编程推向并行化跨仓库自主协作新阶段。 /multitask 命令将大型任务拆分为多个块，由并发子 Agent 同时处理，而非顺序排队。新的 Worktree 支持让 Agent 在不同分支上后台运行隔离任务，多根工作区则允许单个 Agent 会话同时跨越前端、后端和共享库。这些功能标志着全栈式智能工作流的重要进步，无需人工反复指定目标。 [3]

• Google 计划向 Anthropic 投资高达 400 亿美元，大幅升级 AI 算力基础设施竞赛。 该交易以 Anthropic 3500 亿美元估值先行注入 100 亿美元，另有 300 亿美元视业绩目标而定。Google Cloud 将在五年内提供 5 吉瓦计算能力，与 Anthropic 现有的 Amazon（50 亿美元 + 1000 亿美元云支出）和 CoreWeave 协议形成叠加。此次投资正值 Anthropic 因 Claude 使用限额遭受广泛投诉之际，突显算力获取已成为 AI 领域的核心竞争轴心。 [4]

• DeepSeek 发布 V4 Flash（2840 亿参数）和 V4 Pro（1.6 万亿参数），成为当前最大开源权重模型，在编程基准测试上接近前沿水平。 V4 Pro 在开源模型中表现领先，编程竞赛任务达到 GPT-5.4 同等水平；V4 Flash 输入定价仅 $0.14/百万 token，低于 GPT-5.4 Nano。两款模型均采用混合专家架构，支持百万 token 上下文窗口。此次发布对闭源供应商构成定价压力，并为 AI 编程工具构建者扩展了可用模型选择。 [5]

• Cursor 与 Chainguard 合作，将供应链安全直接嵌入智能编程工作流。 该集成让 Cursor 的 Agent 可访问 Chainguard 的 2300 多个加固容器镜像和数百万经验证的语言库，将依赖解析从 PyPI、npm、Maven Central 等公共注册中心转向可信来源。近期针对 Trivy、LiteLLM、axios 等项目的供应链攻击表明，AI Agent 以机器速度做出依赖决策会产生新的攻击面，需要工作流内的主动防护而非事后审计。 [6]

• 各主要编程 Agent 正在趋同于以自验证循环作为核心生产力模式。 Codex 在隔离云容器中迭代运行，Copilot 编程 Agent 运行临时 GitHub Actions 环境，Cursor 云端 Agent 在沙盒 VM 中端到端验证变更，Claude Code 提供可组合的停止钩子和验证子 Agent。当前的关键缺口在于云原生验证：Agent 需要具有真实服务边界的类生产环境，而非 Mock 测试，才能捕获分布式系统中占大多数生产 Bug 的集成失败。 [7]

AI 编程新闻

• GPT-5.5 早期测试者反馈安全和编程性能强劲，但也指出显著的成本和访问权衡。 Xbow 的评估发现 GPT-5.5 在渗透测试基准上将漏洞漏检率降至 10%，Albert Ziegler 将此描述为"面向所有人的 Mythos 级黑客能力"。Simon Willison 发现该模型需要扩展推理和更高 token 消耗才能在结构化任务上超越 GPT-5.4，且 API 因额外安全要求仍不可用。Ethan Mollick 使用基于 GPT-5.5 的 Codex 分析研究数据并起草学术论文，称输出水平堪比博士初期研究，但提醒 AI 能力的"锯齿前沿"在开放式创意任务上依然存在。 [2]

• 编程 Agent 需要真实的类生产环境和操作"技能"来验证云原生代码，而不仅仅是单元测试。 Claude Code 的构建者 Boris Cherny 指出自验证循环是"让 Claude 产出提升 2-3 倍"的关键模式。文章论证，基于 Mock 依赖的验证将正确性负担完全推回给开发者，而真正的验证需要具有实际服务边界、流量模式的隔离环境，以及编码在 Agent 技能中的团队制度知识。当 Agent 能将 CI 失败作为深度调试的起点时，内循环和外循环的界限将逐渐消融。 [7]

• Cursor 与 Chainguard 合作，通过加固依赖锁定 AI Agent 供应链。 Cursor 的 Agent 在选择依赖时将从 Chainguard 的经验证制品库拉取——包括持续重建且发布时零已知 CVE 的 2300 多个容器镜像，以及数百万 Python、JavaScript 和 Java 库版本。Chainguard CEO Dan Lorenc 指出"AI Agent 正以任何安全团队都无法人工审查的规模和速度做出依赖决策"。来源可信度通过签名构建证明和可复现构建管道保障，Cursor 自动管理凭证配置。 [6]

• Mistral 的 Leanstral 使用形式化验证从数学上证明代码正确性，但专家提醒其无法替代人类判断。 Leanstral 采用 1190 亿参数 MoE 架构（65 亿活跃参数），结合 Lean 4 定理证明器构建机器可检查的证明。虽然在形式化证明基准上超越 Claude 4.6 和多个开源模型，但证明是在 Lean 中编写的，需转译为 Rust 或 Python 等生产语言，"在 Lean 中证明正确"与生产部署之间存在差距。Hetz Ventures 的 Judah Taub 认为"AI 风险很少仅存在于数学中，而是在于规格说明是否完整、具有上下文并与现实对齐"。 [8]

• Google 计划向 Anthropic 投资高达 400 亿美元，先期承诺 100 亿美元，估值 3500 亿美元。 Google Cloud 将在五年内提供 5 吉瓦计算能力，这建立在此前与 Broadcom 的 TPU 计算合作（2027 年起）基础上。该交易紧随 Anthropic 与 Amazon 的 50 亿美元 + 最高 1000 亿美元云支出协议以及 CoreWeave 数据中心协议之后。据报道投资者正以 8000 亿美元以上估值争相支持 Anthropic，IPO 最早可能在今年十月。 [4]

• DeepSeek V4 Flash 和 V4 Pro 预览版发布，成为最大开源权重模型，编程性能接近 GPT-5.4，成本大幅降低。 V4 Pro 拥有 1.6 万亿参数（490 亿活跃），百万 token 上下文窗口，是当前最大开源权重模型，超越 Kimi K2.6（1.1 万亿）并达 DeepSeek V3.2（6710 亿）的两倍以上。V4 Flash 输入 token 定价 $0.14/M，输出 $0.28/M，低于所有前沿模型。DeepSeek 承认在知识测试上落后前沿约"3 至 6 个月"，但仅凭定价颠覆已足以重塑 AI 编程工具供应商的成本计算。 [5]

功能更新

• GitHub Copilot 现已在所有支持的编辑器和平台上提供 GPT-5.5 模型。 该模型可通过 VS Code、Visual Studio、Copilot CLI、GitHub Copilot 云端 Agent、github.com、GitHub Mobile（iOS 和 Android）、JetBrains、Xcode 和 Eclipse 选用。促销期按 7.5 倍高级请求倍率计费，面向 Copilot Pro+、Business 和 Enterprise 用户。Business 和 Enterprise 管理员需在 Copilot 设置中启用 GPT-5.5 策略后用户方可使用。 [1]

• GitHub Copilot for JetBrains IDE 推出内联 Agent 模式公开预览，并增强了 Next Edit Suggestions 和全局自动批准功能。 内联 Agent 模式通过 Shift+Ctrl+I（Windows）或 Shift+Cmd+I（Mac）将 Agent 能力直接嵌入内联聊天体验，无需切换至聊天面板。Next Edit Suggestions 新增内联编辑预览和远距编辑的装订线指示器。全局自动批准可自动批准所有工作区的所有工具调用，并新增终端命令和文件编辑的精细控制选项。 [9]

• Copilot CLI v1.0.36 新增 /remote 命令、无需实验模式的 /keep-alive，并将 Claude Opus 4.6 默认切换至中等推理强度。 子命令选择器现在在高亮项旁显示选择指示符（❯），检测到多个 Copilot 许可证时会显示更清晰的错误信息。Hook 匹配器现强制对工具名称执行完整正则匹配。新增 'changes' 状态栏切换显示每次会话的添加/删除行数，双击 Esc 才能取消进行中的工作以防止意外中断，且 Copilot CLI 不再加载 ~/.claude/ 中的自定义 Agent。 [10]

• Copilot SDK v0.3.0 新增每会话 GitHub 身份验证、Agent 级工具和技能控制以及 MCP 互操作，SDK 临近 GA。 同一 CLI 服务器上的不同会话现可携带各自独立的 GitHub 身份、计划和配额限制。新的 defaultAgent.excludedTools 选项支持编排器模式，可对默认 Agent 隐藏工具同时向子 Agent 公开。自定义 Agent 可声明 skills: string[] 在启动时预加载技能，子 Agent 流式传输现在提供带有 agentId 字段的 message_delta 和 reasoning_delta 事件。新增 sessionIdleTimeoutSeconds 选项用于自动清理空闲会话。 [11]

• Cursor 推出 Agents Window 的 Multitask、Worktrees 和多根工作区功能。 /multitask 通过异步子 Agent 并行处理请求而非排队，并可将大型任务拆分为多个块同时执行。Worktrees 让 Agent 在不同分支上运行隔离后台任务，一键即可切换至前台。多根工作区允许单个 Agent 会话指向多个文件夹，实现跨前端、后端和共享库的跨仓库变更，无需重新定向。 [3]

• OpenAI Codex 0.125.0 新增 Unix 套接字传输、权限配置文件往返持久化，以及带 AWS/Bedrock 支持的模型提供商自主发现。 App-server 集成现支持分页友好的恢复/分叉、粘性环境和远程线程配置。权限配置文件可跨 TUI 会话、用户回合、MCP 沙盒状态和 Shell 提权持久化。codex exec --json 现报告推理 token 使用量，Rollout 追踪记录工具、代码模式、会话和多 Agent 关系并提供调试归约命令。Bug 修复涉及 /review 中断卡死、exec-server 输出丢失和 Windows 沙盒启动问题。 [12]

• Kiro CLI 2.1 新增实时 Shell 流式输出、Tool Search 按需加载 MCP 工具，以及技能作为斜杠命令。 Shell 输出现在逐行流式显示而非缓冲至完成，可即时观察构建和部署进度。Tool Search 按需加载 MCP 工具定义而非随每次请求发送，为配置多个 MCP 服务器的用户保持上下文窗口清洁。.kiro/skills/ 中的技能现可通过 /skill-name 斜杠命令调用。此版本还新增 SSH/容器/云环境的设备流认证和 Red Hat Enterprise Linux 支持。 [13]

• OpenCode v1.14.23 和 v1.14.24 修复 DeepSeek 推理、新增实验性 HTTP API 端点，并支持自定义 .npmrc 注册中心。 v1.14.24 确保 DeepSeek 助手消息始终包含推理内容，并新增 MCP 服务器状态、文件列表、文件读取和项目文件状态检查的 HTTP API 端点。v1.14.23 在包版本检查时遵循自定义 .npmrc 注册中心设置，并修复 TUI 以渲染用户消息中的所有非合成文本块。 [14][15]

• Gemini CLI 发布 v0.39.1 稳定版补丁和 v0.40.0-preview.3 预览版。 两个版本均于 4 月 24 日发布，包含针对性修复。v0.39.x 稳定线在 v0.39.0 大版本发布后获得首个补丁，v0.40.0 预览线则继续迭代以推进下一个稳定版晋升。 [16][17]