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

2026-10-30

本周精选

• Microsoft 把 GitHub 团队打造的 Copilot harness 经由 Microsoft Foundry 开放给开发者和企业，该 harness 已用于驱动 Copilot Code、Copilot Studio、GitHub Copilot app 与 CLI 等产品。（评分 98）
• Google DeepMind 发布 Gemini 4 Carbon，称其为最强前沿模型，在编码、智能体、长时程工程和网络安全防御基准上领先；先向部分网络防御者与可信伙伴开放，定价与 Argon 相同。（评分 98）
• Boris Cherny 披露犹他州在 10 个州政府部门向 34 名开发者提供 Claude Code，试点中 80% 的人在 30 分钟内搭好可用环境，71% 的人在四周试点结束前报告节省 20 小时以上；该推文同时引用 Anthropic 与 GSA 合作、以 40% 折扣向联邦及各级政府提供 Claude 的公告作为背景。（评分 98）
• Google DeepMind 在 Gemini 4 Argon 发布仅两周后推出 Gemini 4 Carbon。Carbon 以 59 分登顶 Artificial Analysis Intelligence Index v5，高于 Argon 的 50 分，定价不变；面向多日自主开发工作流，网络安全能力使其先进入美国政府自愿预测试并仅向部分安全专家开放，编程智能体仍落后 Claude Opus 5.5，幻觉率升至 11%。（评分 98）
• 公开信号称，Axiom 的 AI 智能体集群用 24 天完成有限单群分类定理（CFSG）的机器验证，将 500 多篇论文、15,000 页的证明转化为 3800 万行以上机器验证代码，并发现已发表记录中的 34 处严重出入；图中显示 Axiom CFSG 达 43.0M 行，约每 37 天翻倍。（评分 98）