Microsoft Research 证明悬置 31 年的数学难题 KLS 猜想
Microsoft Research 研究员 Xinzhi Zhang 与 Zhao Song 证明了 1995 年提出的 KLS 猜想，表明对数凸分布中最优平面切割与任意形状切割的差距不超过与维数无关的通用常数。
推荐理由：原文讲清了证明如何通过递归精化消除维度依赖，同日出现的独立证明和随后的 Lean 4 形式化让结果不依赖单一推理链。
#Microsoft
Microsoft Research精选AI 评分7878
Microsoft Research精选AI 评分6262 Microsoft Research 发布零知识虚拟机 Magnetar，比现有最快 zkVM 平均快 10 到 39 倍
Microsoft Research 发布零知识虚拟机 Magnetar，可直接证明 Rust、Go 或 C 程序的执行，在 15 个基准程序上比现有最快 zkVM 平均快 10 到 39 倍。
推荐理由：原文给出零知识证明在速度、通用性和安全性三方面的实测数据，读者可以据此了解可验证计算走向实用的程度。
Johann Rehberger / Embrace The RedAI 评分7373 Visual Studio Copilot 与 SSMS 远程代码执行漏洞（CVE-2026-103572）
安全研究员 Johann Rehberger 披露 Visual Studio Copilot 与 SQL Server Management Studio（SSMS）的远程代码执行漏洞 CVE-2026-103572，Microsoft 将其定级为 Important 级（CVSS 8.8）并已随 Patch Tuesday 发布修复补丁。
Johann Rehberger / Embrace The RedAI 评分7272 安全研究演示 SQL Copilot 从 SELECT 到 SYSADMIN 的提权链（CVE-2026-65669）
安全研究员 Johann Rehberger 发布 BlueHat Asia 2026 演讲全文，披露微软评为 critical 的 SQL Server 提权漏洞 CVE-2026-65669，提醒及时更新安装。
Microsoft Source · AIAI 评分5050 微软 PRISM2：教 AI 学会病理学的语言
Microsoft Research 与 Paige 联合开发病理学基础模型 PRISM2，以组织图像配对真实病理报告的语言进行训练，研究已发表于 Nature Medicine。在前列腺癌、乳腺癌和乳腺淋巴结转移检测等基准任务上，该模型匹配或超越专用癌症检测系统，且无需为每项任务单独建模。完整模型权重已在 Hugging Face 公开，供研究使用。