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

2026-11-02

本周精选

• Microsoft 把 GitHub 团队打造的 Copilot harness 通过 Microsoft Foundry 向开发者和企业开放，这套已支撑 Copilot Code、Copilot Studio、GitHub Copilot app 与 CLI 的底层能力，开始从内部产品走向外部可用的开发底座。（评分 98）
• Google DeepMind 发布 Gemini 4 Carbon，官方称其为最强模型，在 Artificial Analysis 智能指数 v5.0 上以 59 分排名第一，在编程、智能体任务和网络安全防御全流程（漏洞发现、利用、修复）上明显领先，并以与 Argon 相同的入门价格、分阶段向网络安全防御者与可信伙伴开放。（评分 98）
• Boris Cherny 介绍犹他州向 10 个州政府部门的 34 名开发者提供 Claude Code；试点中 80% 的开发者在 30 分钟内搭好可用环境，71% 的开发者在为期四周的试点结束前报告节省 20 小时以上；推文引用 Anthropic 与 GSA 合作将 Claude 以 40% 折扣提供给联邦及各级政府的公告作为背景。（评分 98）
• Google DeepMind 在 Argon 发布仅两周后推出 Gemini 4 Carbon。Carbon 在 Artificial Analysis Intelligence Index v5 以59分登顶，主打多日自主开发工作流；编码代理仍落后 Claude Opus 5.5，网络安全能力使其初期仅向选定安全专家开放，价格与 Argon 相同，幻觉率升至11%。（评分 98）
• Axiom 的 AI 智能体集群用 24 天完成有限单群分类定理（CFSG）的机器验证，把横跨 500 多篇论文、15,000 页的证明转成 3800 万行以上机器验证代码，并发现已发表记录中的 34 处严重出入。（评分 98）