Google DeepMind 开源 Gemini 4 Carbon 模型正式开放使用
Google DeepMind 宣布 Gemini 4 Carbon 正式向开发者、企业、科学家和消费者开放，定位为最强模型，主打网络安全能力与长程智能体工作流，适用于复杂多步编码调试和开放式科学研究，消耗 token 多于 Gemini 4 Argon。
推荐理由：原文给出 Carbon 与 Argon 的分工、定价和多项基准名次，可据此判断它在复杂任务中的定位与迁移成本。
#编码
Google DeepMind精选AI 评分8888
GitHub Blog · AI & MLAI 评分4444 GitHub 超越代码生成：开发者智能体工程指南
GitHub 发布开发者指南，讲解如何在 Plan、Build、Verify、Observe 四个阶段用 Copilot 构建智能体工程工作流。10 月 GitHub 单周提交量超 12 亿次，同比增长 400% 以上，而 Faros AI 研究显示高 AI 采用团队的 pull request 审查时间延长 441%。
Microsoft Research精选AI 评分6262 Microsoft Research 推出 PDD Kit，用形式化验证约束智能体生成的全栈 Web 应用
Microsoft Research 发布研究原型 PDD Kit，把形式化验证引入日常软件开发：它在 GitHub Next 的 Chopin 中与开发者协作，把自然语言意图转成 Verus 形式化规范，证明智能体写的代码对每个输入都满足规范，证明覆盖不到的部分则回退为测试。
推荐理由：原文给出从意图到形式化规范再到证明的完整工作流，可迁移之处在于把代码评审重心前移到意图评审。
Google DeepMind精选AI 评分7676 Google DeepMind 发布 Gemini 4 Carbon 前沿模型
Google DeepMind 宣布推出下一个前沿模型 Gemini 4 Carbon，称其为迄今最强模型，具备 SOTA 网络安全与长时程能力，在 Artificial Analysis Intelligence Index v5.0 上以 59 分排名第一。
推荐理由：原文给出了网络安全与长时任务的具体基准分数和分阶段开放路径，读者可据此判断其面向的首批用户与能力边界。
GitHub Blog · AI & MLAI 评分5656 GitHub Copilot 分享三位 Java Champions 的 AI 编码实践
GitHub Blog 采访了 Vlad Mihalcea、Patrick Baumgartner、Frank Delporte 三位 Java Champions，介绍他们用 GitHub Copilot 提升生产力的实践。
GitHub Blog · AI & MLAI 评分4343 GitHub Copilot 如何在 VS Code 中继续 app 会话
GitHub Copilot 发布教程，讲解如何在 VS Code 中直接打开并继续 Copilot app 会话，保留原有对话、代码改动与 worktree 上下文。
GitHub Blog · AI & MLAI 评分5555 GitHub Copilot app for Beginners：如何让 Copilot 了解你的代码库
GitHub 官方博客在 Copilot app for Beginners 系列中介绍四种让 Copilot 掌握项目约定的方式：custom instructions 通过 .github/copilot-instructions.md 和带 applyTo 字段的路径级指令文件定义规范。
GitHub Blog · AI & MLAI 评分5858 GitHub 开源 AI 代码评审基准 ReviewBench
GitHub 发布开源 AI 代码评审离线基准 ReviewBench，语料取自对 103.9M GitHub pull requests 的分布分析，包含 19 种语言、187 个开源仓库的 219 个 pull request。