#Microsoft

Nebius 公布 2027 年 400 亿美元支出计划，微软数据中心合同已延期

Nebius 在第三季度财报电话会上公布 2027 年 400 亿美元支出计划，规模超出华尔街预期。其最大客户之一微软的合同价值最高 194 亿美元，但新泽西 Vineland 数据中心延期数月，仅略超一半容量计划年底前交付，其余推迟到 2027 年第二季度。Nebius 将 2026 年营收预期下调 2 亿美元至 30 亿美元，当日股价下跌 17%。

Moonshot AI 的 Kimi K3.1 Pro Highspeed 上线 Amazon Bedrock

Moonshot AI 的 Kimi K3.1 Pro Highspeed 已在 Amazon Bedrock 上线，它是 Kimi K3 的后训练版本，保持 3T 级开放权重架构和 100 万 token 上下文窗口，据 Moonshot AI 称输出速度是 Kimi K3.1 Pro 的 2–3 倍。

微软研究发现 Lazarus 后门，改写不到 10 个休眠神经元即可控制 AI 智能体

微软研究人员发现名为 Lazarus 的后门技术，改写 LLM 中不到 10 个休眠神经元即可让基于其构建的 AI 智能体在触发时执行攻击者命令，且无需训练。被植入后门的模型仍能通过标准评测，触发条件可以简单到日期变化，例如时钟跨入 2027 年。微软 Foundry 通过校验模型来源、将模型绑定到可信发布者并扫描运行环境来防护，同时正研发权重扫描与模型签名等额外手段。

八国与多家 AI 实验室签署巴黎宣言，承诺建立模型关停机制

在巴黎和平论坛前夕，八个国家、科技公司与公民社会组织于 11 月 9 日签署《巴黎 AI 安全与安保宣言》，OpenAI 的 Sam Altman、Anthropic 的 Dario Amodei、Microsoft 的 Brad Smith、Mistral AI 的 Arthur Mensch 等人参与，德国未签署。

Anthropic 设定 IPO 发行价区间 70 至 78 美元，隐含估值达 1.404 万亿美元

Anthropic 在更新的 IPO 文件中表示，将发行 8.25 亿股 A 类股，发行价区间为每股 70 至 78 美元，预计募资 577.5 亿至 643.5 亿美元；若按区间上限定价，完全稀释后估值将达 1.404 万亿美元。

同一件事，精选收录的是《Anthropic 启动 IPO 路演，发行价 70 至 78 美元、目标估值 1.02 万亿美元》

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

微软研究院发布研究原型 PDD Kit，把开发者的自然语言意图转成 Verus 形式化规范，证明智能体生成的代码对每个输入都满足规范，证明覆盖不到的部分改用测试。

微软研究院发布 Flint-interactive，让智能体生成可交互数据可视化

微软研究院发布 Flint-interactive，一种构建在 Flint 之上、用于创建交互式数据可视化的语言，让智能体生成支持点击、筛选、缩放、高亮和跨图表联动的图表。

微软研究院等证明 31 年未解的 KLS 猜想

微软研究院 Xinzhi Zhang 与合著者 Zhao Song 证明了 1995 年提出的 KLS 猜想，证明高维对数凹分布下平面切割与任意形状切割的差距可由与维度无关的常数界定。研究采用人类主导的智能体搜索流程，探索了 100 多条候选路径，由研究者筛选并递归应用新判据，最终在 2026 年 10 月 4 日版本中完成证明。同期另有独立团队给出完整证明，并有 Lean 4 形式化验证发布。

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

GitHub Copilot 应用中的会话可直接在 VS Code 中打开，并保留对话、代码改动和工作上下文继续处理。VS Code 会打开该会话对应的 worktree，并在 Copilot 侧边栏显示原会话，方便逐行审查 diff、手动编辑和在本地运行测试。完成后可提交并推送到会话关联的 pull request。

Microsoft Research 发布 zkVM 系统 Magnetar，证明速度提升 10 到 39 倍

Microsoft Research 发布零知识虚拟机 Magnetar，可直接证明用 Rust、Go、C 编写的 RISC-V 程序执行，在 15 个基准程序上平均比同机最快 zkVM 快 10 到 39 倍。

GitHub Copilot 入门指南：如何让 Copilot 了解你的代码库

GitHub Copilot 入门系列介绍四种定制方式：用 .github/copilot-instructions.md 定义仓库级规范，用 agent skills 打包可复用流程，用 custom agents 处理跨文件复杂任务，并通过 MCP 服务器连接外部工具与数据源。文中以 Playwright MCP 服务器为例，演示让 Copilot 在浏览器中手动测试应用功能。

GitHub 推出基于 ModernBERT 的密钥检测分类器，扩展推送保护

GitHub 发布与 Microsoft Applied Sciences 共建的 ModernBERT 分类器，用代码上下文识别无固定格式的密钥，候选批次评估耗时低于 2 毫秒，可把可拦截的密钥数量提升一倍以上。

GitHub 发布 AI 代码审查开放基准 ReviewBench

GitHub 发布 AI 代码审查开放基准 ReviewBench，基于 1.039 亿个 GitHub PR 的分布特征，构建了覆盖 19 种语言、219 个公开 PR 的评测集。