2026-10-29 本周精选自动编排

2026-10-29

本周精选

• Microsoft 将 GitHub 团队打造的 Copilot harness 通过 Microsoft Foundry 向开发者和企业开放，这套已驱动 Copilot Code、Copilot Studio、GitHub Copilot app 与 CLI 的底层能力，开始从内部产品组件转为对外可用的 Agent 开发基础设施。（评分 98）
• Google DeepMind 发布 Gemini 4 Carbon，距上一代 Gemini 4 Argon 仅两周。官方定位两条主线：网络安全防御全生命周期与长时程智能体能力。Carbon 在 Artificial Analysis 智能指数 v5.0 以 59 分排名第一，SEC-bench Pro 88.2%、ExploitGym 54.8%、CWE-bench 71.0%，WebDev Arena 1768 分（第 4，+89 elo）。定价与 Argon 相同：每百万输入 token 2 美元、输出 10 美元，缓存输入按输入价的 5% 计费。发布采取受控分发：先向部分网络防御者开放，再经 Fairwind Program 逐步扩围，并参与美国政府的前置测试自愿流程。（评分 98）
• Boris Cherny 介绍，犹他州为 10 个州政府部门的 34 名开发者提供 Claude Code，80% 在 30 分钟内搭好可用环境，71% 在四周试点结束前报告节省 20 小时以上；推文引用 Anthropic 与 GSA 合作以 40% 折扣向联邦及各级政府提供 Claude 的公告作背景。（评分 98）
• 谷歌 DeepMind 在 Gemini 4 Argon 发布仅两周后推出 Gemini 4 Carbon，并以 59 分登顶 Artificial Analysis Intelligence Index v5。Carbon 面向多日自主开发工作流，在智能体编程、知识工作、Web 开发和网络安全等指标上提升，但部分细分仍落后 Claude Opus 5.5 等模型；因网络安全能力突出，先向选定安全专家开放，定价与 Argon 相同。（评分 98）
• 作者称 Verified AI 迎来标志性月份：Axiom 的 AI 智能体集群用 24 天完成数学史上最长证明的验证，把横跨 500 多篇论文、约 15,000 页的有限单群分类定理（CFSG）转成 3800 万行以上机器验证代码，并在已发表记录中发现 34 处严重出入。（评分 98）