微软研究院等证明31年悬而未决的KLS猜想
微软研究院张新志与Zhao Song证明1995年提出的KLS猜想，确认高维对数凹分布的最佳平面切割与任意形状切割之差可由与维度无关的常数界定。作者以人机协作的智能体搜索探索了100多条候选路径，由研究者筛选方向并完成论证，另有独立团队同日给出完整证明，随后出现Lean 4形式化验证。该结果使此前依赖该猜想的研究可无条件成立。
推荐理由：这篇论文证明了一个悬置31年的高维几何猜想，并展示了研究者如何引导AI智能体筛选上百条路径。
#Microsoft
Microsoft Research精选AI 评分7878
Microsoft Research精选AI 评分6262 微软研究院发布 Magnetar：基于标准哈希函数的通用零知识证明系统
微软研究院发布零知识虚拟机 Magnetar，可直接证明用 Rust、Go 或 C 编写的程序，在 15 个基准程序上平均比现有最快 zkVM 快 10 到 39 倍，证明验证约 12 毫秒。
推荐理由：微软研究院梳理十余年零知识证明研究脉络，说明 Magnetar 如何在速度、通用性和后量子安全上同时推进。
Microsoft ResearchAI 评分5252 微软研究院提出 StudentSim：用个性化学生模拟器评估和改进 AI 导师
微软研究院提出 StudentSim，从公开的去标识化学习记录训练个性化学生模拟器，用于在真实学习者测试前评估和改进 AI 导师。研究同时发布 StudentSimEval 基准，覆盖国际象棋、第二语言英语写作和数学三个领域，从行为保真度和对指导的响应度两个维度评估模拟器。
GitHub Blog · AI & MLAI 评分5858 GitHub 发布 AI 代码审查开放基准 ReviewBench
GitHub 发布代码审查离线基准 ReviewBench，包含 219 个公开 PR、覆盖 19 种语言，分布参照 103.9M 个 GitHub PR 建模。基准采用多来源黄金集与统一评分规则，由资深工程师独立复核，真阳性判断一致率 96.6%。它提供 grounded 与 augmented 两族指标，可按严重程度和类别切片，并支持提交自有审查智能体上排行榜。