#Microsoft

Nebius计划2027年支出400亿美元，微软数据中心延期问题加剧

Nebius在第三季度财报电话会议上公布了2027年400亿美元的支出计划，资金主要来自客户预付款和以客户合同为担保的贷款。其位于新泽西州Vineland、为微软服务的站点（合同价值高达194亿美元）已延期数月，目前计划到年底交付的微软容量仅略超一半，其余将在2027年第二季度交付。Nebius将2026年营收预期下调2亿美元至30亿美元，并公布第三季度营收为9.81亿美元，同比增长571%，同时股价下跌17%。

微软研究院焦点版第98期：AI翻译、KLS猜想证明与更快的编码智能体

微软研究院焦点版第98期重点介绍了AI进展使通用翻译更接近现实，以及一项新证明解决了高维几何中悬置31年的KLS猜想。本期还涵盖CompactionBench和APEC，它们将编码智能体的上下文压缩成本最多降低25.4%，执行时间缩短9.6%，以及Latent Core Tokenizer，它在104种语言上改进了分词。

DXC Technology 如何在 Amazon Bedrock 上构建多模型 AI 底座

DXC Technology 在 Amazon Bedrock 上为其 DXC OASIS IT 运维框架构建了模型底座，通过一个统一托管接口接入 Anthropic Claude、Amazon Nova、Meta Llama 和开放权重模型。Amazon Bedrock Guardrails 对所有模型统一应用内容过滤、PII 脱敏和禁止话题策略，而 AWS PrivateLink 将推理流量保持在客户 VPC 内。DXC OASIS 自 2026 年 3 月起正式可用，在 56 个实测用例中平均将解决时间缩短了 95%。

Jensen Huang因间谍丑闻辞去Nvidia CEO职务；市值损失1.4万亿美元

Jensen Huang于2026年11月12日立即辞去Nvidia CEO、总裁和董事会成员职务，此前《华尔街日报》报道称董事会计划因两段婚外情将其解雇，其中一段涉及一名疑似中国间谍。自10月29日《纽约时报》报道其可能与中国情报机构有关联以来，Nvidia市值已损失约1.4万亿美元，CFO Colette Kress临时接任。Harvey C. Jones成为首位独立董事会主席，而Huang的离职没有明确的继任计划，可能动摇围绕他建立的联盟和担保结构。

同一件事，精选收录的是《NVIDIA Announces CEO Transition as Jensen Huang Resigns, Colette Kress Named Interim CEO》

微软研究人员描述Lazarus：一种重编程AI智能体中休眠神经元后门的攻击

微软研究人员描述了一种名为Lazarus的后门技术，该技术通过重编程大语言模型中不到10个休眠神经元，使基于该模型构建的智能体在出现隐藏触发条件时执行攻击者指令，且无需重新训练。被修改的模型仍能通过标准评估，在触发前表现正常，触发条件可以简单到只是日期变更，随后智能体会以被授予的权限运行下载的代码。作者表示，检测需要与原始权重进行差异比对，而Microsoft Foundry已将开放权重模型与其发布者绑定并扫描其容器，同时红队测试框架、基于智能体的权重扫描以及具有防篡改来源证明的签名模型正在开发中。

超越代码生成：开发者的智能体工程指南

GitHub 发布了一份面向开发者的智能体工程指南，介绍了 Copilot 如何支持软件工作中的规划、构建、验证和观察四个阶段。该指南引用了 GitHub 今年 10 月单周 12 亿次提交的数据，比一年前增长超过 400%，还引用了 Faros AI 的一项研究：随着团队从低 AI 采用率转向高 AI 采用率，拉取请求在审查环节的停留时间延长了 441%。指南详细介绍了多项功能，包括 Slack 或 Teams 中的 Copilot、Plan Mode、GitHub Agentic Workflows、云沙箱、会话连续性、共享记忆、Copilot Dreaming 和 Copilot Fusion。

微软研究院的 PDD Kit 对智能体编写的全栈 Web 应用进行形式化验证

微软研究院推出了 PDD Kit，这是一个研究原型，可将开发者的自然语言意图转化为 Verus 形式化规范，证明编码智能体生成的 Rust 代码对任意输入均满足该规范，并在证明无法覆盖之处回退到测试。在 GitHub Next 的 Chopin 中进行的一次演示中，团队使用 PDD Kit 验证了 Pet Store 的登录逻辑——这是一个约 5,000 行的 Rust 全栈应用——开发者审查的是意图产物，而非逐行审查生成的代码。PDD Kit 目前仅能验证 Rust，其保证依赖于六个经开发者批准的可信组件，包括 bcrypt 密码校验和两次数据库查询。

Ed Zitron：OpenAI 的 110 亿美元融资轮与 Anthropic 修订后的 S-1 表明 AI 融资正在枯竭

Ed Zitron 认为，AI 建设潮会在资金耗尽时终结；他举例称，OpenAI 在大型投资者兴趣冷淡的情况下以 1.25 万亿美元估值融资 110 亿美元，低于据报道其寻求的以 1.4 万亿美元估值融资 300 亿美元。他还将 Anthropic 修订后的 S-1 解读为：第三季度营收接近 170 亿美元，而算力成本为 99 亿美元，总义务约 8950 亿至 1.07 万亿美元，并可能获得低于投资级的评级。他将这一点与债务市场将 neoclouds 拒之门外、Google 因 AI 概览导致搜索变现能力下降，以及 OpenAI 贡献了 Microsoft 最近一个季度约 11% 的营收联系起来。

微软研究院的 Mike Walker 谈黑客思维与构建网络防御

曾领导 DARPA 网络挑战赛的微软研究院经理 Mike Walker 讨论了黑客文化如何塑造了他构建下一代网络防御的职业生涯，包括首届全机器黑客锦标赛。他认为有效的安全取决于对信任和上下文的理解，并反思了竞技黑客经历教会他的团队合作与集体智慧。

微软构建合成企业数据平台以评估 Copilot

微软的行业评估数据生成平台创建了全规模的合成企业环境，以在不使用客户数据的情况下评估 Microsoft Copilot。该平台基于 O*NET 职业数据、招聘信息和 SEC 文件等公开来源，生成包含用户、会议、电子邮件和文档的真实租户，以及自动化查询管道和质量框架。微软表示，这为 Copilot 建立了首个标准化评估基线。

Microsoft Research Focus Edition #97：ForkPilot、CABRA、TeleTune 与工作中的 AI 使用

Microsoft Research Focus Edition #97 重点介绍了 ForkPilot，这是一个自我改进的智能体框架，在六个基准测试中与现有最佳方法表现相当，同时将 AI 处理需求最多降低 59%。该期还涵盖了 CABRA，该框架表明编码智能体仍难以理解不熟悉的代码库，以及 TeleTune，它从用户活动日志中学习可复用的技能。它还考察了 Copilot Chat 活动，其中文档编辑超过了分类活动的 20%。

Ed Zitron 认为 Anthropic 的 IPO 文件用折扣后的 Q2 掩盖了增长放缓

Ed Zitron 认为，Anthropic 的 S-1 文件在时间安排上是为了呈现一个经算力折扣后的 2026 年 Q2——该季度它报告了 9.74 亿美元利润——而不是那个真正将要上市的公司。他援引了约 2694 亿美元对 Google、Amazon、Microsoft 和 SpaceX 的不可取消算力承诺，以及另外 1250 亿至 1500 亿美元的 TPU 义务，并指出 Q3 营收增长放缓至 45%，而算力成本上升了 76.3%。他还指出，有 5% 至 7% 的营收来自后来被发现蒸馏其模型的客户，以及一套让内部人士得以快速退出的锁定期安排。

Microsoft Research 发布 Flint-interactive，一种用于 AI 生成交互式数据可视化的语言

Microsoft Research 发布了 Flint-interactive，这是一种基于 Flint 构建的语言，让智能体和开发者能够通过高层语义事件和更新操作符创建交互式数据可视化。Flint 的编译器负责处理命中测试、布局、渲染和视觉依赖关系，因此用户无需编写底层可视化代码，即可指定联动刷选、高亮或视口变化等交互。该语言可通过聊天环境中的 Flint-MCP 和 MCP Apps、用于仪表板和数据故事的 Flint Interactive Canvas，以及用于定制交互的编程 API 使用。

微软研究院与合著者证明了31年历史的KLS猜想

微软研究员张新智（Xinzhi Zhang）与一位合著者证明了Kannan-Lovász-Simonovits（KLS）猜想——一个悬而未决31年的高维几何开放问题，表明该界可由一个与维度无关的通用常数成立。该证明源自一个人工引导的智能体过程：AI智能体探索了100多种候选方法，研究人员则对搜索进行剪枝和重新引导；而在相当token预算下用领先模型进行的另一次无引导尝试未能成功。同日另有两篇证明出现，随后还发布了Lean 4形式化。

AI最好能成功：量化AI泡沫的全球集中风险

阿波罗首席经济学家Torsten Slok警告称“这个AI最好能成功”，而Ed Zitron量化了这有多难。NVIDIA、Google、Amazon、Meta、Microsoft、Broadcom、Micron、AMD和CoreWeave合计约占纳斯达克100指数的46.5%，2026年第二季度企业股票占美国家庭财富的37.9%，为2000年第四季度以来有记录的最高水平。

微软研究院播客：Chris White 谈 DARPA、阿富汗与打击人口贩运的暗网搜索

微软研究院 Catalyst Lab 主任 Chris White 回顾了他在 DARPA 项目之后领导阿富汗先进技术行动的经历，以及后来构建暗网搜索工具以打击人口贩运的工作。在与 Weishung Liu 的微软研究院播客节目中，White 讨论了问题选择如何塑造创新，以及他在目睹人性最黑暗的部分后如何保持希望。

如何在 VS Code 中继续 GitHub Copilot 应用会话

GitHub Copilot 应用会话现在可以直接在 VS Code 中打开，并延续对话、代码更改和工作树，让开发者无需重新开始即可查看差异、手动编辑并在本地测试。本教程逐步演示如何打开会话、逐行查看智能体的更改、在 Copilot 侧边栏中继续同一对话，以及将会话的拉取请求推送更新。

GitHub 的密钥检测模型：以更少噪声发现更多密钥

GitHub 训练了一个经过微调的 ModernBERT 分类器，用以替代其此前基于 LLM 的通用密钥检测流水线，使按所有者加权的告警精确率提升了 11.5%，并将推送后扫描执行时间中位数缩短了 86%。该两阶段流水线先通过正则表达式生成候选，再进行上下文感知分类，与远程 LLM 调用相比还将服务成本降低了 98% 以上。效率的提升使得将通用密钥检测扩展到推送保护成为可能，从而在变更被推送之前就返回结果。

GitHub Copilot 入门：让 Copilot 了解你的代码库的四种方法

GitHub 的 Copilot for Beginners 系列介绍了四种为 Copilot 提供项目上下文的方法：在 `.github/copilot-instructions.md` 中编写自定义指令，并在 `.github/instructions` 中添加路径专属文件；在 `.github/skills` 中定义 agent skills；在 `.github/agents` 中配置自定义 agent；以及通过 MCP 服务器将 Copilot 连接到 Playwright 等外部工具。文章逐一讲解了每种机制及其组合方式，并引导读者前往社区 Awesome Copilot 合集获取现成示例。

GitHub 发布基于 ModernBERT 的 AI 密钥检测模型，扩展推送保护

GitHub 推出了一个由 Microsoft Applied Sciences 合作构建的 AI 驱动的通用密钥检测模型，这是一个 ModernBERT 分类器，可在两毫秒内结合上下文评估候选密钥，并可能使推送保护拦截的密钥数量增加一倍以上。

GitHub 发布 ReviewBench，一个用于 AI 代码审查的开放基准

GitHub 发布了 ReviewBench，这是一个面向 AI 代码审查智能体的开放基准，基于 19 种语言的 219 个公开拉取请求构建，其语言和仓库规模分布参照 1.039 亿个 GitHub 拉取请求建模。黄金集从人类审查者、作者后续提交、静态分析和多个前沿 LLM 中提取发现，由 Claude Sonnet 5 按照已发布的评分标准评分，资深工程师独立重新标注了每一条发现，一致率为 96.6%。GitHub 表示，其对 Copilot 代码审查的离线评估预判了生产 A/B 测试的方向，其中已处理率上升 8.0%，召回率上升 13.6%，每次审查成本下降 8.0%。

Microsoft Autopilot 基于 OpenClaw 构建，贡献双向流动

微软推出了 Autopilot，这是一个基于 OpenClaw 构建的持久个人智能体，作为其全新 Copilot 体验的一部分，私人预览将于本月底扩展至首批客户。Autopilot 是微软今年早些时候宣布的 Microsoft Scout 的新名称，Omar Shahine 的团队表示正与 OpenClaw 及 OpenClaw 基金会合作，打造企业级运行时。OpenClaw 重点介绍了微软工程师的上游贡献，包括策略合规检查、原生 Windows 配套应用，以及针对后台任务、重启和重复回复的可靠性修复。