GitHub 超越代码生成：开发者智能体工程指南
GitHub 发布开发者指南，讲解如何在 Plan、Build、Verify、Observe 四个阶段用 Copilot 构建智能体工程工作流。10 月 GitHub 单周提交量超 12 亿次，同比增长 400% 以上，而 Faros AI 研究显示高 AI 采用团队的 pull request 审查时间延长 441%。
全部 AI 动态
GitHub Blog · AI & MLAI 评分4444
MIT Technology Review · AIAI 评分5555 记者实测旧金山 Tau Robotics 人形机器人上门清洁服务
MIT Technology Review 记者 Grace Huckins 两次匿名预约旧金山初创公司 Tau Robotics 的人形机器人上门清洁服务并记录体验。
Google DeepMind精选AI 评分7777 Google DeepMind 发布 Gemini Omni 1.2 Flash：15 秒视频、降价 30%
Google DeepMind 宣布推出 Gemini Omni 1.2 Flash，并首次在 Gemini API 和 Gemini for business 中全面可用。
推荐理由：原文列出了时长、价格和一致性三方面的具体变化，读者可据此判断它对批量视频生产成本的影响。
Microsoft Research精选AI 评分6262 Microsoft Research 推出 PDD Kit，用形式化验证约束智能体生成的全栈 Web 应用
Microsoft Research 发布研究原型 PDD Kit，把形式化验证引入日常软件开发：它在 GitHub Next 的 Chopin 中与开发者协作，把自然语言意图转成 Verus 形式化规范，证明智能体写的代码对每个输入都满足规范，证明覆盖不到的部分则回退为测试。
推荐理由：原文给出从意图到形式化规范再到证明的完整工作流，可迁移之处在于把代码评审重心前移到意图评审。
MIT Technology Review · AIAI 评分6161 德州选举变天或让美国 AI 数据中心建设热潮受挫
MIT Technology Review 分析称，德州民主党在中期选举中赢得参议院、州长及州众议院席位，数据中心成为竞选核心议题，新任州长 Hinojosa 竞选期间推动全面暂停数据中心建设，而现任州长 Abbott 已于 9 月 21 日叫停数据中心许可。
Google DeepMindAI 评分5757 Google Antigravity 推出 Cheminformatics Skills 加速药物发现
Google DeepMind 宣布 Google Antigravity 的 Cheminformatics Skills 今日可用，可安装 Science 插件使用，企业用户可用 Google Cloud 凭证登录。
MIT Technology Review · AIAI 评分5656 逆向博弈论或可约束AI智能体行为
MIT Technology Review 报道，部分对齐研究者转向逆向博弈论（机制设计），通过设计激励规则让AI智能体遵守规则，而非依赖解读模型内部或价值观训练。
MIT Technology Review · AIAI 评分5757 特朗普把AI改名为Super Intelligence一个月后，各方跟进情况如何
9月底特朗普签署行政令，要求政府机构把artificial intelligence改称Super Intelligence，该词在X民调中击败了Extreme Intelligence和Supreme Intelligence等候选。
Google DeepMind精选AI 评分6262 Google DeepMind 规划辅助工具 PlanAssist 将扩展至英格兰 12 个地方规划机构
Google DeepMind 宣布其 AI 规划工具 PlanAssist 将新增覆盖英格兰 12 个地方规划机构，参与总数达 15 个。该工具基于 Gemini 构建，与英国政府、Google Cloud 和 Faculty 合作开发，可校验申请文件与建筑图纸、核查遗产保护限制及规划政策，并起草带完整引用的评估报告，规划官员保留最终决定权。
推荐理由：原文给出试点中评估时间下降58%和报告免改通过率超70%的具体数据，可据此判断该工具在公共审批流程中的实际效用。
Microsoft ResearchAI 评分5656 Microsoft Copilot 企业评测体系：合成环境与自动查询管线详解
Microsoft Research 介绍其 Industry Evaluation Data Generation Platform，用基于 O*NET 职业数据、在线招聘启事和 SEC 文件等公开数据构建的全合成企业环境（tenant）评测 Microsoft Copilot，全程不使用真实客户数据。
Google DeepMind精选AI 评分7676 Google DeepMind 发布 Gemini 4 Carbon 前沿模型
Google DeepMind 宣布推出下一个前沿模型 Gemini 4 Carbon，称其为迄今最强模型，具备 SOTA 网络安全与长时程能力，在 Artificial Analysis Intelligence Index v5.0 上以 59 分排名第一。
推荐理由：原文给出了网络安全与长时任务的具体基准分数和分阶段开放路径，读者可据此判断其面向的首批用户与能力边界。
Microsoft ResearchAI 评分5151 Microsoft Research 发布 Flint-interactive 交互式数据可视化语言
Microsoft Research 发布 Flint-interactive，一种构建在 Flint 之上的交互式数据可视化语言，让 AI 智能体能生成可点击、筛选、缩放、高亮及跨图表联动的图表。
Microsoft Research精选AI 评分7777 Microsoft Research 研究者证明 31 年悬案 KLS 猜想
Microsoft Research 机器学习与优化组的 Xinzhi Zhang 与合作者 Zhao Song 证明了 1995 年提出的 Kannan–Lovász–Simonovits（KLS）猜想，表明对数凹分布的最佳平面切割与任意形状切割之差存在与维度无关的普适常数上界。
推荐理由：原文对比了人主导的智能体搜索与同等 token 预算的无引导尝试，可迁移地说明复杂问题中研究者判断的作用。
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 评分5757 GitHub 发布基于 ModernBERT 的密钥扫描分类器，误报更少、成本更低
GitHub 发布专为密钥扫描训练的上下文感知分类器，采用两阶段管线：正则先高召回地生成候选，再由微调的 ModernBERT 结合文件路径、变量名和周边代码判断是否为真实密钥。
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 & ML精选AI 评分6262 GitHub 论述密钥保护需随软件规模同步扩展
GitHub 产品负责人 Erin Havens 撰文指出，如今三分之一的 pull request 涉及 AI agent，一年前不足十分之一，若按此速度两年内多数代码可能由 agent 写成。
推荐理由：文章用九个季度数据拆解了泄露密钥与 AI 编码的因果误读，并给出可迁移的预防与修复分工思路。
GitHub Blog · AI & MLAI 评分5858 GitHub 开源 AI 代码评审基准 ReviewBench
GitHub 发布开源 AI 代码评审离线基准 ReviewBench，语料取自对 103.9M GitHub pull requests 的分布分析，包含 19 种语言、187 个开源仓库的 219 个 pull request。
Berkeley AI ResearchAI 评分5757 Berkeley AI Research 将 K-Search 扩展到 MLX，用 CUDA 优化知识提升 Apple Silicon 内核性能
Berkeley AI Research 与 IBM Research 将 K-Search 进化式内核搜索框架扩展出 MLX 后端，并加入结构化 CUDA-to-MLX 翻译层，把 CUDA 内核作为知识库适配为 Apple Silicon 的高质量 GPU 内核。
Berkeley AI ResearchAI 评分5656 Berkeley AI Research 提出 ABBEL 框架，用自然语言信念状态替代交互历史
Berkeley AI Research 提出 ABBEL 框架，把长程交互中的摘要内容隔离为自然语言信念状态并单独监督，以替代完整交互历史作为智能体的工作上下文。
Berkeley AI ResearchAI 评分5757 BAIR：推理成本趋近于零后，数据系统面临 for、of、by Agents 三重挑战
Berkeley AI Research 发布由 Aditya G. Parameswaran 等人主导的视角文章，指出 GPT-4 级能力成本已从 2023 年初约 $30 per million tokens 降至如今不足 $1。
Berkeley AI ResearchAI 评分5959 Berkeley AI Research 综述自适应并行推理：从固定并行到模型自主控制
Berkeley AI Research 发布长文综述自适应并行推理（APR）这一推理扩展范式，指出其核心是让模型在推理时自主决定何时分解并行、开多少线程以及如何协调。
Berkeley AI ResearchAI 评分5656 Berkeley AI Research 提出 GRASP：面向世界模型长时域规划的梯度规划器
Berkeley AI Research 发布 GRASP，一种基于梯度的世界模型规划器，通过把轨迹提升到虚拟状态使优化沿时间并行、在状态迭代中注入高斯噪声做探索、并重塑梯度使动作获得干净信号而避开脆弱的状态输入梯度。
Berkeley AI ResearchAI 评分5151 Berkeley AI Research 介绍 SPEX 与 ProxySPEX 大规模识别 LLM 交互的方法
Berkeley AI Research 博文介绍 SPEX（Spectral Explainer）与 ProxySPEX 两种算法，用于在特征归因、数据归因和模型组件归因中大规模识别关键交互。