微软研究院发布 PDD Kit，把开发者意图转成 Verus 形式化规范，对每个输入验证智能体所写代码，证明覆盖不到处以测试兜底。团队在 GitHub Next 的 Chopin 中用它验证了约 5,000 行 Rust 全栈应用 Pet Store 的登录逻辑，开发者只审查意图产物而未逐行阅读生成代码，pdd-ship 还会把 Verus 检查加入 CI。
推荐理由：原文展示把代码审查重心从逐行阅读转向意图规范的方法，以形式化验证和边界测试守住智能体的实现约定。
LangSmith BYOC 现已上线 AWS（GA）、Azure 和 Google Cloud（Beta），traces、评测、数据集等敏感数据留在用户自有云账户。
Microsoft 宣布将 GitHub 工程团队打造的 Copilot harness 通过 Microsoft Foundry 开放，开发者与企业客户可用全托管方式构建能推理、调用工具并完成复杂长任务的智能体。
推荐理由：原文解释了多模型编排层为何难以自建与维护，开发者可据此评估改用托管 harness 来聚焦上层应用的取舍。
Microsoft 以平台化方式推进 Frontier Transformation：Copilot 赋能人类抱负，Microsoft IQ 平台放大智能，Agent 365 在各层级提供信任与可观测性。
Microsoft Research 推出 Flint-interactive，一种基于 Flint 的交互式数据可视化语言，让用户和 AI 智能体通过高级语义事件和更新算子定义点击、筛选、缩放、高亮和跨图联动等交互。编译器负责处理交互逻辑与视觉依赖，降低布局、渲染和调试成本，并支持通过 Flint-MCP 在聊天环境中生成交互图表，也可用于构建仪表盘和数据故事。
Microsoft 介绍 AI 如何帮助英国 NHS 减轻行政负担、重塑患者护理。继 3 万名员工参与的试验后，NHS England 于 6 月宣布计划向最多 505,000 名临床和支持人员开放 Microsoft Copilot，试验参与者平均每个工作日节省 43 分钟，约合每年每人 5 周。
Microsoft Research 研究员 Xinzhi Zhang 与 Zhao Song 证明了 1995 年提出的 KLS 猜想，表明对数凸分布中最优平面切割与任意形状切割的差距不超过与维数无关的通用常数。
推荐理由：原文讲清了证明如何通过递归精化消除维度依赖，同日出现的独立证明和随后的 Lean 4 形式化让结果不依赖单一推理链。
Saint-Gobain 与 Microsoft 合作，用面向科研人员的 AI 智能体平台 Microsoft Discovery 寻找低碳水泥添加剂，数小时建成研究人员原本需一年的 62,000 项专利、44,000 篇摘要知识库。
Microsoft 指出，企业内部智能体常被过度授权，不能因来自内部就默认可信，需要 24/7 持续监控。7 月宣布的 Project Perception 可约束这类智能体：为其分配身份与权限、动态计算风险，并由 Guardian Agents 监督每项操作。思维链等模型透明化不会取代遏制，但会让遏制更智能、更强。
Microsoft Research 发布零知识虚拟机 Magnetar，可直接证明 Rust、Go 或 C 程序的执行，在 15 个基准程序上比现有最快 zkVM 平均快 10 到 39 倍。
推荐理由：原文给出零知识证明在速度、通用性和安全性三方面的实测数据，读者可以据此了解可验证计算走向实用的程度。
Lovable 推出 Deploy on Azure 私有预览，企业可将应用及数据运行在自己的 Azure 订阅内，编辑器和智能体仍留在 Lovable。应用组件部署在客户订阅的专用 VNet 内的 AKS 集群，数据库采用 Azure Database for PostgreSQL，并通过 VNet peering 访问内部系统。
微软发布最新自研芯片 Maia 300，并宣布将 Azure Maia 系统扩展至多吉瓦级部署。官方页面提供 Maia 300 架构深度解析视频，Scott Guthrie、Rani Borkar、Mustafa Suleyman 等高管分别介绍全栈 AI 优势、高效推理的系统方法与芯片模型协同设计。页面同时展示 Maia 300 服务器、系统、原型芯片与板卡图片，并提供行业分析师评论等延伸资源。
Microsoft 宣布从 2027 年起将 Azure Maia 家族扩展至多吉瓦级部署，并使 Maia 成为 Microsoft 产品与服务的主要推理系统。
推荐理由：原文给出 Maia 300 每兆瓦 token 效率和机架吞吐的具体数字，读者可据此比较微软自研芯片与 GPU 方案的定位。
微软宣布Microsoft 365与LinkedIn执行副总裁Ryan Roslansky将离开公司，年底前以顾问身份向Satya Nadella汇报并协助过渡。
推荐理由：原文同步公布核心汇报线调整，可据此了解LinkedIn与Microsoft 365业务在这次人事变动后的组织归属。
微软推出 Autopilot 预览版并开始向首批客户推送，这是一个基于 OpenClaw 构建的持久、主动的个人智能体，属于新 Copilot 体验的一部分，本月底扩大至 private preview；Autopilot 是今年早些时候公布的 Microsoft Scout 的新名称。
Microsoft 发布零代码构建 AI 智能体的入门指南：在 Copilot Chat 中点击「Agents」→「New Agent」，用自然语言描述需求即可生成智能体草稿。指南分五步，从明确问题、查看预构建智能体商店、配置行为语气，到接入邮件、文档、SharePoint 等知识源并定义输出，最后测试、共享与扩展。
Microsoft Research 与 Paige 联合开发病理学基础模型 PRISM2，以组织图像配对真实病理报告的语言进行训练，研究已发表于 Nature Medicine。在前列腺癌、乳腺癌和乳腺淋巴结转移检测等基准任务上，该模型匹配或超越专用癌症检测系统，且无需为每项任务单独建模。完整模型权重已在 Hugging Face 公开，供研究使用。