Microsoft Research Focus 第 98 期：KLS 猜想攻克、CompactionBench 与 LCT 等研究进展
Microsoft Research Focus 第 98 期由 Anson Ho 主持，盘点微软最新研究：KLS 猜想这一 31 年悬案被攻克，为理解随机化算法效率扫清理论障碍。
#Microsoft
Microsoft ResearchAI 评分4343
Microsoft Research精选AI 评分7474 微软研究 Lazarus 后门技术：重编程休眠神经元可劫持 AI Agent
微软研究人员发现名为 Lazarus 的后门技术，重编程 LLM 中少于 10 个休眠神经元、无需训练即可让 AI Agent 在触发时执行攻击者命令，且模型仍能通过标准评测。
推荐理由：原文给出少于10个休眠神经元即可植入后门且无需训练的机制细节，可帮助读者理解权重完整性为何成为模型安全的关键。
TechCrunch · AI精选AI 评分8888 Anthropic IPO 定价每股 70 至 78 美元，隐含估值 1.404 万亿美元
Anthropic 在更新的 IPO 文件中宣布以每股 70 至 78 美元发行 8.25 亿股 A 类股，若按区间上限定价，完全摊薄后估值达 1.404 万亿美元，高于其 5 月融资时的 9650 亿美元，但低于此前据报道瞄准的 2 万亿美元。
推荐理由：原文给出定价区间、募资规模与关键财务数字，便于读者对照其估值与同期 OpenAI 融资情况。
The DecoderAI 评分6262 八国与主要AI实验室签署巴黎AI安全宣言承诺设置关停机制
在巴黎和平论坛前夕，八国代表、科技公司与社会组织签署了11月9日通过的《巴黎AI安全与安全呼吁》，Sam Altman、Dario Amodei、Brad Smith、Arthur Mensch、Yoshua Bengio和美国财政部长Scott Bessent在线上会议中与法国总统Emmanuel Macron一同加入，德国未签署。
The Decoder同事件AI 评分7878 Anthropic 启动 IPO 路演，发行价 70 至 78 美元，目标估值最高 1.02 万亿美元
Anthropic 启动 IPO 路演，计划通过公开发行募资最高 64.4 亿美元，发行 8.25 亿股 Class A 普通股，定价区间为每股 70 至 78 美元。
GitHub Blog · AI & MLAI 评分4444 GitHub 超越代码生成：开发者智能体工程指南
GitHub 发布开发者指南，讲解如何在 Plan、Build、Verify、Observe 四个阶段用 Copilot 构建智能体工程工作流。10 月 GitHub 单周提交量超 12 亿次，同比增长 400% 以上，但 Faros AI 研究显示高 AI 采用团队的 pull request 审查时间增加 441%。
The Verge · AIAI 评分5656 抗议者闯入微软阿姆斯特丹数据中心工地
约100名抗议者闯入微软在阿姆斯特丹郊外新建数据中心的工地，有人爬上起重机挂出“fuck AI”横幅，并打出“Microsoft powers genocide”标语。
The Verge · AIAI 评分7272 美国中期选举蓝潮席卷AI行业：监管与数据中心建设面临转折
民主党在中期选举中同时拿下参众两院，让AI行业开始面对更严监管、数据中心建设放缓等前景。据《华尔街日报》报道，OpenAI等公司CEO私下讨论选举后算力容量受限问题，Meta平台总裁Dina Powell McCormick称许多公司正考虑把数据中心建到国外。
Microsoft Research精选AI 评分6262 Microsoft Research 推出 PDD Kit，用形式化验证约束智能体生成的全栈 Web 应用
Microsoft Research 与 GitHub Next、RiSE 合作推出 PDD Kit，把形式化验证引入日常软件开发：它在 GitHub Next 的 Chopin 规划环境中与开发者协作，把自然语言意图转成 Verus 形式化规范，自动为智能体生成的代码生成证明，证明覆盖每个输入，证明触及不到的部分则回退为测试。
推荐理由：原文完整展示了从意图到形式化规范再到证明的七步工作流，可迁移之处在于它把代码审查重心移到了意图审查。
The DecoderAI 评分5858 Apple 削减工程师内部 AI token 预算，计划进一步下调
据 Bloomberg 报道，Apple 上月将部分工程师的每日 token 预算从 $300 降至 $200，计划进一步降至 $100，部分非技术团队可能低至 $25，员工可向管理层申请例外。
The Verge · AIAI 评分6262 The Verge 分析：科技巨头AI数据中心扩建在回报兑现前不会停下
The Verge 撰文分析，Amazon、Microsoft、Alphabet 和 Meta 今年 CapEx 至少 $720 billion，多数投向 AI 基础设施，另有至少 $1 trillion 的未来多年支出承诺，而 AI 建设尚未带来承诺的回报。
TechCrunch · AIAI 评分6262 AI 数据中心转向改装喷气发动机自发电以应对电力短缺
据纽约时报报道，因电网接入和新涡轮机排期长达数年，部分 AI 数据中心改用由退役飞机发动机改装、燃烧天然气的机组自发电，Rystad Energy 分析师 Audun Martinsen 称其可在 24 个月内让数据中心投运，而北弗吉尼亚接入 100 megawatts 电网约需七年。
Microsoft ResearchAI 评分3434 Microsoft Research 播客：黑客文化如何塑造 Mike Walker 的网络防御之路
Microsoft Research 播客邀请研究经理 Mike Walker 对谈，讲述其从黑客文化走向下一代网络防御的职业经历，包括参与开发首个全机器黑客攻防赛。
The DecoderAI 评分6262 高盛限制交易员和银行家使用 Claude Code 等 AI 编码工具
据 Bloomberg 报道，高盛依据 10 月内部指引，切断了大多数员工对 Anthropic 的 Claude Code 和 Microsoft 的 GitHub 等 AI 编码工具的访问，仅工程师仍可使用。
The DecoderAI 评分6262 微软向约 60,000 名员工提供自愿离职方案，同时保护 AI 关键团队
微软向约 60,000 名员工（约占其员工总数四分之一）提供自愿离职方案，覆盖美国、加拿大、印度和英国副总裁及以下职级，Xbox、Windows、Copilot 和 Finance 全部包含，而数据中心、销售、网络安全和量子计算等对微软 AI 战略重要的领域被排除在外。
TechCrunch · AIAI 评分7272 AI 基建开支热潮出现裂痕：巨头资本开支与现金流压力引发市场担忧
Alphabet、Amazon、Meta、Microsoft 过去两周披露今年资本开支计划超 $740 billion，但投资者开始担忧自由现金流转负、债务攀升与回报不足。
The Verge · AIAI 评分6969 OpenAI、Google、Microsoft、Anthropic 支持出版方统一退出 AI 抓取的新标准
OpenAI、Google、Microsoft 和 Anthropic 表示将采用一项新标准，让出版方通过网站 robots.txt 中的共享 policy token 一次性设置 AI 训练偏好，而不必逐一向各家公司单独设置。
AWS Machine Learning BlogAI 评分4242 在 AWS GovCloud (US) 中配置 ChatGPT 桌面应用接入 Amazon Bedrock
AWS 发布教程，指导在 AWS GovCloud (US) 中配置 ChatGPT 桌面应用，将模型推理请求路由至 us-gov-west-1 的 Amazon Bedrock Mantle 端点，供 Work（多步骤任务）和 Codex（编码智能体）使用。
Microsoft ResearchAI 评分4747 Microsoft Research 推出 Industry Evaluation Data Generation Platform，用合成企业数据评估 Microsoft Copilot
Microsoft Research 推出 Industry Evaluation Data Generation Platform，通过全合成的企业环境（tenant）评估 Microsoft Copilot，避免使用真实客户敏感数据。
The Verge · AIAI 评分6060 Wikimedia 就 AI 版权诉讼提交法庭之友意见书，主张训练合理使用但生成需授权
Wikimedia 基金会就《纽约时报》等出版方起诉 OpenAI 和 Microsoft 的 AI 版权系列案件提交法庭之友意见书，不站队任何一方。其主张抓取网站不应视为侵权，未经许可用版权作品预训练 LLM 且产出与原作有实质区别时应属合理使用；但若模型在响应用户查询时输出内容并取代读者对原作的访问，则应取得授权。
Microsoft ResearchAI 评分3939 Microsoft Research Focus 第 97 期：ForkPilot、CABRA、TeleTune 等最新研究盘点
Microsoft Research Focus 第 97 期由 Sowbhagya Suresh 主持，盘点 Microsoft 最新研究：自改进智能体框架 ForkPilot 在六个 benchmark 上比肩最佳方法、AI 处理需求最多降低 59%。
The Verge · AIAI 评分6262 微软向约 6 万名员工提供自愿买断，以压缩人力成本维持 AI 投入
微软正向美国、英国、加拿大和印度约 60,000 名员工提供自愿买断，为公司史上首次面向如此大规模员工推出该方案，远超今年早些时候约 9,000 人的退休要约。
TechCrunch · AIAI 评分5858 Microsoft 连续 10 个季度营收创纪录，季度营收达 $92.3 billion
Microsoft 周三公布季度营收 $92.3 billion，同比增长 19%，连续 10 个季度营收创纪录；净利润 $36.6 billion，按 GAAP 口径同比增长 32%。
TechCrunch · AIAI 评分6262 微软财报披露来自 OpenAI 的季度收入达 100 亿美元
微软在监管文件中披露，截至 9 月 30 日的季度内，来自与 OpenAI 商业安排（含收入分成）的收入达 100 亿美元，约占其季度总营收 923 亿美元的 11%；2026 财年全年该项收入为 241 亿美元。
TechCrunch · AIAI 评分5858 微软首次披露Azure季度营收332亿美元，同比增长48%
微软在周三发布的财报中首次以美元披露Azure营收：7月至9月季度Azure营收332亿美元，同比增长48%，超出分析师预期的323亿美元约8.5亿美元，也高于CFO Amy Hood此前预测的44%至45%增速。
The Verge · AIAI 评分4242 Microsoft 将终止 Copilot 在智能电视上的支持
LG 电视上出现的屏幕通知显示，Microsoft 已决定在今年内终止 Copilot 在所有智能电视上的功能支持，具体停用日期取决于 Microsoft 的时间表。
TechCrunch · AIAI 评分4646 Meta AI 总监 Rohit Patel 离职创业，推出 Ndoc 挑战 Microsoft Office 与 Google Workspace
Meta Superintelligence Labs 前总监 Rohit Patel 离职创立 Ndoc，推出对标 Microsoft Office 与 Google Workspace 的 AI 原生统一工作区，将 Stage、Narrative、Model 三个标签页整合，替代 Excel、Word、PowerPoint 等分散工具。
MIT Technology Review · AIAI 评分3535 工业智能：制造业的下一个增长机会
MIT Technology Review 指出，工业智能正成为制造业的下一个增长机会，其核心是把企业积累的经验、运营实践与生产数据转化为可随处调用的决策能力，并通过 Physical AI 让智能参与物理世界的行动。
The Verge · AIAI 评分5656 Microsoft 向最多 60,000 名员工提供自愿买断方案
Microsoft 向美国、英国、加拿大和印度最多 60,000 名员工提供自愿买断，首席人力官 Amy Coleman 称这让员工能带着财务支持和职业规划资源离开，公司借此裁员而不再进行新一轮裁员。
MIT Technology Review · AIAI 评分5050 MIT科技评论：AI安全只盯灾难性事件，忽视日常伤害
文章指出科技行业把AI安全窄化为防范灾难性事件，借此规避对日常依赖性伤害的监管，而谷歌等公司正推动带有豁免条款的州级法案来巩固这一有利定义。作者列举青少年对AI伴侣的依赖、MIT研究发现的用ChatGPT写文章时的脑连接减弱与认知债务等证据，主张安全只是底线，还应要求企业在产品中增加摩擦、禁止设计假装有意识的AI伴侣，并在教室应用前证明AI确实提升学习与批判性思维。
TechCrunch · AIAI 评分4444 AI 坟场：那些没能活下来的 AI 项目与创业公司盘点
TechCrunch 盘点了 AI 行业中关停、转型或严重不及预期的项目与创业公司，包括 Relay、Character.ai、ChatGPT Atlas、Sora、Humane AI Pin、Rabbit R1 等。
Hugging Face Blog精选AI 评分6161 微软与 Hugging Face 开源 ThinkingBox-Training：用数据库终态检查作为 RL 奖励后训练智能体
微软与 Hugging Face 联合发布并开源 ThinkingBox-Training（microsoft/thinkingbox-training），把 ThinkingBox-Bench 中对数据库终态的可执行检查复用为 RL 训练奖励。
推荐理由：原文给出了把数据库终态检查复用为 RL 奖励的完整训练流程与开源实现，读者可据此迁移方法到自己的智能体任务集。
TechCrunch · AIAI 评分7272 微软 MAI-DxO 医疗诊断系统在复杂病例模拟中准确率达 83%，超越全科医生
微软 AI 诊断系统 MAI-DxO 在 Science 发表的研究中，对《新英格兰医学杂志》复杂病例的模拟诊断正确率达 83%，而全科医生和普通内科医生单独工作时为 36%。
The Verge · AI精选AI 评分7777 微软 Diagnostic Orchestrator 诊断准确率超医生，论文发表于 Science
微软称其多智能体诊断系统 Diagnostic Orchestrator 在诊断准确率上最高可达人类医生的四倍，相关研究发表于 Science。
推荐理由：原文给出了基准构成、对照组数据和临床验证路径，读者可据此判断多智能体诊断系统与真实医疗落地之间的差距。
Microsoft ResearchAI 评分4444 Microsoft Research 推出 Flint-interactive：为 AI 生成图表带来交互能力的可视化语言
Microsoft Research 推出 Flint-interactive，一种构建在 Flint 之上的交互式数据可视化语言，让 AI 智能体能生成支持点击、筛选、缩放、高亮和跨图表联动的图表。
The Verge · AIAI 评分6161 比尔·盖茨在 Decoder 访谈中谈 AI 风险：需为约 20 年的动荡转型做准备
The Verge 的 Decoder 播客主持人 Nilay Patel 专访微软联合创始人比尔·盖茨，围绕 AI 安全、对齐与监管展开长谈。盖茨认为 AI 是有史以来最危险的技术，未来约 20 年的转型期可能痛苦到让社会分裂，但他强调自己不是 doomer。
Microsoft Research精选AI 评分7575 Microsoft Research 研究者与 AI 协作证明 31 年悬案 KLS 猜想
Microsoft Research 机器学习与优化组的 Xinzhi Zhang 与合作者 Zhao Song 证明了 1995 年提出的 Kannan-Lovász-Simonovits（KLS）猜想，表明对数凹分布的最佳平面切割与任意形状切割之差不超过一个与维度无关的普适常数。
推荐理由：原文对比了无人引导的同预算尝试与人机协作的差异，可迁移地说明研究者判断在 AI 辅助证明中的作用。
TechCrunch · AIAI 评分6666 Anthropic 云合作陷入复杂局面，S-1 泄露文件披露算力与财务压力
据 WSJ 泄露的 S-1 文件，Anthropic 难以从 AWS、Google 和 Microsoft 获得足够云算力，这些厂商 increasingly 视其为竞争对手而非客户。
Microsoft ResearchAI 评分2525 Microsoft Research 播客：Catalyst Lab 负责人 Chris White 谈科技、研究与积极影响
Microsoft Research 播客本期由 Principal Technical Program Manager Weishung Liu 对话 Microsoft Research Catalyst Lab 负责人 Chris White，回顾其从哈佛博士后、DARPA 项目到阿富汗一线技术负责人、暗网搜索工具研发者的经历。
GitHub Blog · AI & MLAI 评分4343 3 位 Java Champion 分享用 GitHub Copilot 提升生产力的实践
3 位拥有 10 年以上经验的 Java Champion 分享了在生产与开源项目中使用 GitHub Copilot 的实践，其中 Vlad Mihalcea 借助 Copilot 将原本需数周开发的 Hypersistence Optimizer 事件历史 Web 应用缩短到两天完成。