Microsoft Research 研究员与合作者证明 31 年前的 KLS 猜想
Microsoft Research 的 Xinzhi Zhang 与 Zhao Song 证明 1995 年提出的 Kannan-Lovász-Simonovits（KLS）猜想，表明对数凸分布而言最优平面割与任意形状割之差不超过与维度无关的普适常数。
推荐理由：原文详述证明路径、独立验证与 Lean 形式化，并对比了有无人类引导的 AI 探索差异，方法可借鉴。
#Microsoft
Microsoft Research精选AI 评分7676
Microsoft ResearchAI 评分4040 Microsoft Research 推出 StudentSim：用学生模拟器评估和改进 AI 辅导系统
Microsoft Research 发布研究系统 StudentSim，为每位学生训练个性化 AI 学生模拟器，在 AI 辅导工具接触真实学习者前提供评估与改进信号。
Microsoft Research精选AI 评分6767 微软亚洲研究院开源 Agent Lightning v1.0：3500 行代码的轻量级 Harnessed Agentic RL 训练框架
微软亚洲研究院发布 Harnessed Agentic RL 训练范式并开源重建的 Agent Lightning v1.0，让部署时使用的同一 agent harness 直接参与强化学习，无需在训练框架内重新实现智能体。
推荐理由：框架让部署用的真实 agent harness 直接参与 RL 训练，还给出端到端编码智能体训练管线，读者可评估是否接入现有工作流。
GitHub Blog · AI & MLAI 评分4848 GitHub 发布开源代码评审基准 ReviewBench
GitHub 推出 AI 代码评审离线基准 ReviewBench，现可公开使用。基准基于 1.039 亿个 GitHub pull request 建模分布，语料包含来自 187 个开源仓库、覆盖 19 种语言的 219 个公开 pull request，采用人类评审、前沿 LLM 与静态分析多来源 golden set，并由资深工程师独立标注，一致性达 96.6%。
Microsoft ResearchAI 评分4646 Microsoft Research 用机器学习预测电网空间天气风险
Microsoft Research 的实习生构建了一个机器学习系统，为美国大陆 66,935 座变电站提供位置级空间天气风险预测。系统结合 L1 点太阳风观测、AE 与 Dst 指数预测、地质电导率和电网数据，可在风险出现前 30 到 60 分钟预警；评估中检出约 80% 的重大事件，其中严重事件（≥20 nT/min）检出率达 81.2%。