Microsoft Research 证明31年悬而未决的 KLS 猜想
Microsoft Research 的 Xinzhi Zhang 与 Zhao Song 合作证明了1995年提出的 KLS 猜想，证明对数凹分布中平面切口的瓶颈与任意形状切口最多相差一个普适常数，与维度无关。
推荐理由：原文给出证明思路、独立验证与 Lean 形式化情况，读者可以了解人机协作如何促成一项数学难题的解决。
#Microsoft
Microsoft Research精选AI 评分7979
Microsoft ResearchAI 评分4747 微软 StudentSim：模拟学生学习以改进 AI 辅导系统
Microsoft Research 推出研究系统 StudentSim，通过个性化 AI 学生模拟器在接触真实学习者前评估和改进 AI 辅导工具。系统基于公开去标识化的学习者记录，分两阶段训练每个学生的专属模拟器，并随配套基准 StudentSimEval 从行为保真度和指导响应性两个维度评估，覆盖国际象棋、二语英语写作和数学。
GitHub Blog · AI & MLAI 评分5050 GitHub 开源 ReviewBench：AI 代码审查基准
GitHub 推出开源离线基准 ReviewBench，用于评估 AI 代码审查智能体。基准基于 103.9M GitHub pull request 分析构建，语料涵盖 19 种语言的 219 个公开 pull request，采用人工审查者、frontier LLM 和静态分析构成的多源 golden set，并由资深工程师独立验证，达成 96.6% 一致性。
Microsoft ResearchAI 评分4343 Microsoft Research 用机器学习管道预测美国 66,935 座变电站的空间天气风险
Microsoft Research 研究人员开发了一套机器学习系统，为美国本土 66,935 座变电站生成位置级空间天气风险预估，可提前 30 至 60 分钟预警。