2026-11-01 本周精选自动编排

2026-11-01

本周精选

• Microsoft 宣布将 GitHub 团队打造的 Copilot harness 通过 Microsoft Foundry 向开发者和企业开放，该 harness 已驱动 Copilot Code、Copilot Studio、GitHub Copilot app 和 CLI 等产品。这意味着原本只在微软自有产品内部使用的 Agent 底层能力，开始以平台化方式对外供给。（评分 98）
• Google DeepMind 发布 Gemini 4 Carbon，称其为最强模型，主打网络安全与长周期能力；Artificial Analysis Intelligence Index v5.0 得分59排名第一，SEC-bench Pro 88.2%、ExploitGym 54.8%、CWE-bench 71.0%，并将先向部分网络防御者开放，价格与 Argon 相同。（评分 98）
• 犹他州在 10 个州政府部门、34 名开发者中试点 Claude Code，80% 在 30 分钟内完成环境搭建，71% 在四周内自报节省 20 小时以上，背景是 Anthropic 与 GSA 面向各级政府的采购合作。（评分 98）
• Google DeepMind 在 Argon 发布仅两周后推出 Gemini 4 Carbon，后者以 59 分登顶 Artificial Analysis 智能指数 v5；但编码智能体仍落后 Claude Opus 5.5，且因网络安全能力先经美国政府自愿预测试并限安全专家使用，定价与 Argon 持平。（评分 98）
• 作者称 Axiom 的 AI 智能体集群用 24 天完成了数学史上最长证明——有限单群分类定理（CFSG）的机器验证，把横跨 500 多篇论文、15,000 页的证明转化为 3800 万行以上机器验证代码，并在已发表记录中发现 34 处严重出入；图中标注 Axiom CFSG 已达 43.0M 行，约每 37 天翻倍。（评分 98）