抗议者闯入阿姆斯特丹微软数据中心施工现场
约 100 名抗议者闯入阿姆斯特丹微软数据中心施工现场，部分人攀爬起重机悬挂反 AI 标语。该数据中心由 Pure Data Centres 承建，包含三座 85 米高的塔楼，微软为唯一租户。
#Microsoft
The Verge · AIAI 评分4242 Microsoft Research精选AI 评分7878 Microsoft Research 发布 PDD Kit 工具包以形式化验证智能体编写的 Rust 全栈 Web 应用
Microsoft Research 发布 PDD Kit 工具包，利用 Verus 对 AI 智能体生成的 Rust 代码进行形式化验证，确保代码在所有输入下均符合规范。
推荐理由：原文展示了将形式化验证引入 AI 编码智能体工作流的具体路径，读者可据此评估其在大规模代码生成场景下的应用边界。
The DecoderAI 评分6262 Apple 削减内部 AI 预算，部分工程师日额度降至 200 美元
Apple 将部分工程师的每日 AI token 预算从 300 美元降至 200 美元，并计划进一步下调至 100 美元，部分非技术团队可能降至 25 美元。员工可访问 Claude、ChatGPT 和 Gemini 等服务，部分团队将转向更便宜的模型或本地运行 AI。
The Verge · AI精选AI 评分8080 The Verge 分析：Big Tech 的 AI 数据中心建设热潮在有人叫停前不会结束
The Verge 分析指出，Amazon、Microsoft、Alphabet 和 Meta 计划今年在资本支出上投入至少 7200 亿美元，主要用于 AI 基础设施，且未来几年还有至少 1 万亿美元的支出承诺。尽管营收增长迅速，但 AI 业务尚未实现盈利，Alphabet 股价甚至因 AI 搜索对核心搜索业务的侵蚀而创下单日最大跌幅。
推荐理由：文章梳理了四大科技巨头超7200亿美元的资本支出计划与AI变现困境，揭示了基础设施投入与商业回报之间的时间差。
AWS Machine Learning Blog精选AI 评分6262 U Mobile 基于 Amazon Bedrock AgentCore 构建电信智能体运营平台 AiDaH
马来西亚电信运营商 U Mobile 基于 Amazon Bedrock AgentCore 构建了 AI 驱动的智能体帮助台 AiDaH，用于自动化处理跨系统的电信运营工单。
推荐理由：文章拆解了电信运营商利用多智能体架构处理跨系统工单的具体路径，展示了从试点到生产落地的工程细节。
The DecoderAI 评分6767 高盛收回交易员和银行家使用的 AI 编码工具权限
高盛已切断大多数员工对 Anthropic Claude Code 和 Microsoft GitHub 等高级 AI 编码工具的访问权限，目前仅工程师仍可使用。据彭博社援引 10 月内部指南，交易员和银行家此前数月一直使用这些工具监控交易流和创建内容，此次权限收回在内部引发不满。
The DecoderAI 评分7575 微软向约 6 万名员工提供自愿离职方案，AI 关键团队获豁免
微软向约 6 万名员工提供自愿离职方案，覆盖美国、加拿大、印度和英国副总裁及以下职级，但数据中心、网络安全和量子计算等 AI 关键领域被排除在外。这是微软 2026 年的第二次此类计划，公司计划在 2026 年投入约 1700 亿美元用于 AI 基础设施，总员工人数维持在约 22.3 万。
The Verge · AIAI 评分7575 OpenAI、Google、Microsoft 和 Anthropic 支持新的 AI 爬取退出标准
OpenAI、Google、Microsoft 和 Anthropic 宣布将支持一种新的标准，允许出版商通过 robots.txt 文件中的共享策略令牌统一退出 AI 爬取。
Microsoft ResearchAI 评分4242 Microsoft Copilot 如何基于合成企业数据建立 AI 置信度评估
Microsoft 构建了行业评估数据生成平台，利用 O*NET、在线招聘及 SEC 文件等公开数据创建全规模合成企业环境，以解决真实敏感数据无法用于评测的难题。该平台通过模拟动态租户工作流，为 Microsoft Copilot 建立了首个标准化评估基线，确保在零客户数据接触下验证模型准确性。
Microsoft ResearchAI 评分4040 Microsoft Research Focus 第 97 期：ForkPilot 框架降低 AI 智能体处理需求达 59%
Microsoft Research Focus 第 97 期发布，重点介绍 ForkPilot 自改进智能体框架。该框架在六个基准测试中表现媲美最佳现有方法，同时将 AI 处理需求降低最多 59%。本期还涵盖 CABRA 编码智能体评估、TeleTune 技能演化及 Copilot 使用模式分析。
The Verge · AIAI 评分7575 微软向约6万名员工提供自愿离职方案以应对AI转型
微软向美国、英国、加拿大和印度的约6万名员工提供自愿离职方案，这是该公司首次向如此大规模的员工群体提供此类要约。此举旨在通过降低人力成本来维持对AI基础设施的投资，此前微软已裁员4800人且总员工数同比下降。
TechCrunch · AIAI 评分7777 微软披露上季度从 OpenAI 获得 100 亿美元营收
微软在监管文件中披露，截至 2026 年 9 月 30 日的季度内，从 OpenAI 的商业安排中获得了 100 亿美元营收，占其当季总营收的 11%。2026 财年微软从 OpenAI 获得的总营收达 241 亿美元，且截至 9 月底对 OpenAI 的应收账款从 60 亿美元增至 72 亿美元。
TechCrunch · AI精选AI 评分7777 微软首次披露 Azure 季度营收为 332 亿美元
微软首次披露 Azure 在 7 月至 9 月季度的具体营收为 332 亿美元，同比增长 48%。该数字略高于 Google Cloud 同期的 307 亿美元营收，但 Google Cloud 的增速约为 Azure 的两倍。
推荐理由：首次披露 Azure 具体营收数字，使投资者能直接对比 AWS 与 Google Cloud 的季度表现。
The Verge · AIAI 评分3030 Microsoft 将终止智能电视上的 Copilot 支持
Microsoft 决定终止所有智能电视上的 Copilot 功能支持，该功能计划于 2026 年内停止服务。此前 LG 和 Samsung 在 CES 2025 宣布其最新智能电视将集成该 AI 助手。随着 Microsoft 将 Copilot 重新定位为生产力工具，电视端的聊天与推荐功能将逐步下线。
The Verge · AIAI 评分6262 德州选民反对数据中心建设，成为中期选举核心议题
德州 57% 的选民反对数据中心建设，这一跨党派共识已使其成为中期选举的核心议题。州长 Abbott 虽宣布暂停新数据中心许可并推动成本改革，但面临选民对其立场转变的质疑，而民主党候选人 Hinojosa 则借反数据中心立场在民调中缩小差距。
TechCrunch · AIAI 评分5252 Meta AI 总监 Rohit Patel 离职创业，推出 AI 原生办公套件 Ndoc 挑战 Microsoft Office 和 Google Workspace
Meta Superintelligence Labs 前总监 Rohit Patel 在任职八年后离职，创立初创公司 Ndoc，旨在用 AI 原生工作区替代 Microsoft Office 和 Google Workspace。
MIT Technology Review · AIAI 评分3535 工业智能：制造业的下一个增长机遇
工业智能旨在将制造商积累的隐性知识与生产数据转化为物理世界的行动力，通过 Physical AI 连接业务智能与制造现场。Toyota Industries 利用该方案将分析周期从 5 天缩短至 4 小时内，并降低约 25% 的油漆缺陷。Rockwell Automation 在新加坡工厂部署维护 Copilot，将新员工故障排查学习时间从 9 个月缩短至 3 个月。
AWS Machine Learning BlogAI 评分4242 SageMaker SDK v3 边缘端全车队计算机视觉生命周期管理
基于 SageMaker SDK v3 构建的边缘端计算机视觉全车队生命周期管理方案，利用 SageMaker Neo 替代已弃用的 Edge Manager 进行模型优化。
The Verge · AIAI 评分6262 微软向 6 万名员工提供自愿离职补偿方案
微软向美国、英国、加拿大和印度的最多 6 万名员工提供自愿离职补偿方案，旨在通过财务支持和职业规划资源减少裁员。该方案覆盖 AI 体验、Copilot、CoreAI、Windows + Devices 和 Xbox 等团队，但不包括营销、商业业务、发现与量子及安全团队。
Microsoft Research精选AI 评分6262 Microsoft Research 发布 Flint-interactive 交互式数据可视化语言
Microsoft Research 发布 Flint-interactive，一种基于 Flint 编译器构建的交互式数据可视化语言。该工具允许 AI Agent 通过高层语义事件定义点击、过滤、缩放等交互行为，自动处理底层渲染依赖，从而提升生成可靠性并降低开发成本。用户可通过 MCP 在聊天中直接生成可交互图表，开发者也可利用编程 API 构建连接图表、表格与应用状态的仪表盘。
推荐理由：通过语义事件与更新算子分离交互逻辑，降低 AI 生成复杂可视化图表的调试成本与失败率。
TechCrunch · AI精选AI 评分8080 Microsoft 发布 MAI-DxO 研究：AI 诊断系统在复杂病例上准确率超全科医生
Microsoft 在 Science 发表研究，其多智能体诊断系统 MAI-DxO 在复杂病例模拟中准确率达 83%，高于全科医生的 36%。该系统在 GPT-5.5 上表现最佳，但成本仅降低约 3000 美元且急诊病例提升有限。Microsoft 计划与 Mayo Clinic 合作训练医疗基础模型，并将在 Boston 医院开展真实世界评估。
推荐理由：原文展示了多智能体系统在复杂病例上超越全科医生的模拟数据，并给出了不同模型下的成本与准确率对比。
The Verge · AIAI 评分7878 微软发布 Diagnostic Orchestrator 研究，称其诊断准确率超人类医生
微软在 Science 期刊发表研究，其基于 GPT-5 的多智能体系统 Diagnostic Orchestrator 在 SDBench 基准测试中诊断准确率达 83%，显著高于人类医生的 36%。微软计划将该基准开源，并将在未来数月内与 Beth Israel Deaconess 医疗中心合作开展真实临床环境测试。
TechCrunch · AI精选AI 评分7777 微软称中国黑客利用 AI 智能体入侵 ConnectWise 后窃取约 2250 家企业数据
微软安全研究人员披露，与中国政府关联的黑客入侵 IT 管理巨头 ConnectWise 的云备份服务，窃取用于建立数据链路的应用程序凭据。攻击者利用开源 AI 框架 ARTEX 以每分钟近 3000 次尝试的速度，冒充授权用户访问约 2250 家客户组织的邮件和文件。ConnectWise 已暂停云备份系统访问权限并正在调查，目前正致力于恢复服务。
推荐理由：微软披露攻击者利用 ARTEX 框架以每分钟近 3000 次尝试的速度入侵约 2250 家企业，揭示了 AI 智能体在大规模网络攻击中的加速效应。
The Verge · AIAI 评分7272 比尔·盖茨：为 20 年动荡的 AI 变革做准备
比尔·盖茨在 Decoder 访谈中警告，社会需为未来约 20 年的 AI 剧烈动荡做准备，并认为当前政策响应严重不足。他指出最紧迫的风险并非模型意识或失控，而是无安全护栏的模型被用于网络攻击和生物恐怖主义，主张政府应像监管航空安全一样，强制要求高能力模型在分发平台上保留安全护栏。
Microsoft Research精选AI 评分8585 Microsoft Research 证明 31 年前提出的 KLS 猜想
Microsoft Research 研究人员与合著者共同证明了困扰数学界 31 年的 KLS 猜想，确立了高维几何中普适的几何原则。该成果通过人类主导的 AI 智能体研究流程实现，AI 系统探索了超过 100 种候选方法，研究人员负责评估、剪枝和重定向搜索。独立研究者已验证该研究，并发布了基于 Lean 4 的形式化验证，确认了结果的可靠性。
推荐理由：展示了人类主导 AI 探索数学路径并解决高维几何核心难题的过程，为 AI 辅助科研提供了具体范式。
AWS Machine Learning Blog精选AI 评分6262 Amazon Quick 与 Amazon Bedrock AgentCore 构建对话式供应链智能
AWS 发布 Amazon Quick 与 Amazon Bedrock AgentCore 结合 MCP 的供应链智能方案，将原本分散在 ERP、采购、邮件等系统的查询与行动整合到单一对话中。
推荐理由：原文展示了 Amazon Quick 与 Bedrock AgentCore 结合 MCP 的架构，读者可据此理解企业级智能体如何连接多源数据并实现受控决策。
AWS Machine Learning BlogAI 评分4242 Eon 如何利用 Amazon Bedrock AgentCore 上的 MCP Gateway 构建多云调查体系
Eon 利用 Amazon Bedrock AgentCore 部署 MCP Gateway，替代分散的工具凭证与本地 MCP 进程，实现跨 AWS、GCP 和 Azure 的统一访问。新工程师配置调查工具的时间从两天缩短至约两分钟。该方案通过 Cedar 策略实施最小权限控制，支持人类开发者与自主 SRE 智能体以不同身份接入。
AWS Machine Learning Blog精选AI 评分6262 AWS 与 Keyfactor 发布基于 X.509 PKI 的 AI 智能体身份安全参考架构
AWS 与 Keyfactor 联合发布参考架构，利用 X.509 PKI 解决多智能体系统中 MCP 工具调用的身份验证缺失问题。该架构结合签名请求信封、用户签名委托断言、RFC 8693 受众限定令牌及实时 OCSP 吊销检查，实现智能体间零信任通信。
推荐理由：原文给出了基于 X.509 PKI 的多智能体身份验证参考架构，读者可据此解决 MCP 工具调用中的身份伪造与重放风险。
Microsoft ResearchAI 评分1515 Microsoft Research 播客：Chris White 谈技术、研究与积极影响
Microsoft Research 播客中，Catalyst Lab 负责人 Chris White 回顾其从 DARPA 阿富汗实地技术行动到开发暗网搜索工具打击人口贩卖的职业历程。White 强调在见证人性黑暗面后，通过解决具有即时现实影响的技术问题保持希望，并指出问题选择对创新至关重要。
TechCrunch · AIAI 评分7272 微软发布 Guardian Agents 功能，称前沿模型不可信且类似内部威胁
微软发布名为 Guardian Agents 的新安全功能，旨在监控企业部署的 AI 智能体，将其视为类似“内部威胁”的风险源。该功能属于 Project Perception 产品的一部分，微软安全业务负责人 Hayete Gallot 表示，前沿模型因不可预测且被赋予高权限，无法被完全信任。
NVIDIA BlogAI 评分4242 NVIDIA 推进媒体智能体安全，携手 EBU 扩展主权框架并加速 Adobe Frame.io 视频搜索
EBU 与 NVIDIA 合作扩展欧洲公共广播主权框架，引入主权云、开放模型及集成伙伴以保障数据控制。Adobe Frame.io 利用 NVIDIA GPU 加速视频搜索，实现约 5 倍嵌入生成速度提升及最高 5 倍延迟降低。
The DecoderAI 评分7575 AI 云服务商面临整合，NVIDIA 面临最大风险
多家 AI 云服务商股价下跌且 IPO 计划取消，行业高管预计未来几年仅存 7 至 10 家独立 neocloud。NVIDIA 在该细分市场的收入占比升至 45%，若自建数据中心的 neocloud 陷入财务困境，其芯片销售将直接受到冲击。
Microsoft Research精选AI 评分7373 Microsoft Research 发布 Magnetar：基于标准哈希函数的通用零知识证明系统
Microsoft Research 发布 Magnetar，一种基于标准哈希函数的零知识虚拟机，支持 Rust、Go 和 C 程序的可验证执行。Magnetar 在笔记本电脑上每秒可证明 720 万至 870 万条处理器指令，比现有最快同类系统平均快 10 至 39 倍，且证明验证时间仅需约 12 毫秒。
推荐理由：Magnetar 将零知识证明速度提升 10 至 39 倍，且仅依赖标准哈希函数，为通用计算的可验证性提供了工程化路径。
The Verge · AIAI 评分7272 Windows 如何为 Nvidia RTX Spark 笔记本优化 AI 体验
Microsoft 和 Nvidia 在 RTX Spark 笔记本上推出了针对 Arm 架构的 Windows 优化，重点提升了本地 AI 智能体的安装与运行体验。
The Verge · AIAI 评分5757 微软发布开源机器学习工具 PBC，提升中长期天气预报精度
微软研究人员在 Nature 期刊发表研究，推出名为 PBC 的开源机器学习工具，用于纠正现有气象模型的系统性偏差。该工具仅需 CPU 即可运行，在测试中将 ECMWF 物理模型的降水预报准确率提升至 98%，并将 AI 预报系统的准确率翻倍，旨在帮助资源有限的机构提升极端天气预警能力。
The Verge · AIAI 评分6565 Xbox 成立 Xbox Labs 探索 AI 驱动的游戏移植与模组
微软成立 Xbox Labs 小组，旨在探索利用 AI 模型进行游戏反编译、重编译及跨平台移植的新趋势。Xbox CEO Asha Sharma 表示，该团队将公开构建工具并分享经验，认为游戏与代码一样具备适合 AI 智能体工作的属性，且玩家投入的时间远超全球写代码时间。
Microsoft ResearchAI 评分5252 Microsoft Research 发布 StudentSim：利用个性化学生模拟器优化 AI 导师训练
Microsoft Research 提出 StudentSim 系统，通过公开去标识化学习记录训练个性化学生模拟器，以在真实测试前评估和改进 AI 导师。该系统在棋类、二语写作和数学三个领域表现优于 GPT-5.4 等基线，并在棋类导师强化学习实验中，将导师准确率从 75.7% 提升至 90.5%。
The DecoderAI 评分7272 微软研究发现清除聊天历史可帮助 AI 智能体找到更优解
微软研究院发现，长期运行的 AI 智能体常因积累的对话上下文陷入“想法盆地”，导致性能停滞。研究提出的 Fork-and-Flush 方法通过并行分支并清除聊天历史（保留工作区文件），在相同算力预算下将归一化平均得分从 0.47 提升至 0.78，相对提升 66%。
The Decoder精选AI 评分8080 Microsoft 计划 2027 年将自研 Maia AI 芯片扩展至吉瓦级规模
Microsoft 计划从 2027 年开始在 Azure 部署吉瓦级规模的自研 Maia AI 芯片，将其作为主要产品的主要推理系统。Maia 300 芯片配备 288 GB HBM4 内存，带宽达 18 TB/s，功耗 950 瓦，官方称其每兆瓦产生的 token 数量比领先 GPU 系统高 40%。
推荐理由：原文披露了 Maia 300 的硬件规格与能效指标，读者可据此评估其替代 GPU 进行推理部署的潜力。
The Verge · AI同新闻AI 评分7979 微软发布第三代 Maia 300 AI 芯片，旨在成为主要推理系统
微软发布第三代 Maia 300 AI 芯片，计划于 2027 年投入生产并成为其产品和服务的主要 AI 推理系统。该芯片基于 TSMC N2P 工艺，采用 Chiplet 架构，预计每兆瓦 token 产出比领先 GPU 系统高 40%，96 加速器配置下机架级吞吐量达 Maia 200 的 7 倍。