从合成企业数据评测到提升 Microsoft Copilot 的 AI 置信度
微软构建 Industry Evaluation Data Generation Platform，通过全尺度合成企业环境评测 Microsoft Copilot，在不接触客户数据的前提下验证性能。该平台基于 O*NET、在线招聘与 SEC 申报等公开数据源，模拟具备真实时序的邮件、会议和组织架构。目前已针对制药、资本市场及 IT 软件构建三类仿真环境，用以发现通用基准难以覆盖的问题。
#Microsoft
Microsoft ResearchAI 评分4242 Microsoft ResearchAI 评分3333 Microsoft Research Focus 第 97 期
微软研究院发布第 97 期《Research Focus》，汇总了 AI 智能体及科学计算等多项前沿研究成果。其中自改进智能体框架 ForkPilot 在 6 项基准测试中比肩现有最优方案，并将 AI 处理需求降低最高 59%。本期还展示了从操作日志学习技能的 TeleTune、代码智能体评测框架 CABRA 以及开启 public preview 的蛋白质模型 BioEmu2。
Microsoft Research精选AI 评分7373 Microsoft Research 研究者证明悬置 31 年的 KLS 猜想
Microsoft Research 的 Xinzhi Zhang 与合著者 Zhao Song 证明了 1995 年提出的 KLS 猜想，给出一项与维度无关的固定界。
推荐理由：这项证明本身是数学进展，更有价值的是把研究路径讲成了人机分工范式，读者可据此理解 AI 在科研协作中扮演的角色。
Microsoft Research精选AI 评分6767 微软研究院推出零知识证明虚拟机 Magnetar
微软研究院发布零知识证明虚拟机 Magnetar，可证明用 Rust、Go、C 编写的程序，在 15 个基准程序上平均比现有最快的同类 zkVM 快 10 至 39 倍。它基于 RISC-V 架构，开发者无需手写密码学电路，安全性仅依赖 SHA-256、SHA-3 等标准哈希函数，不依赖椭圆曲线、格或可信设置。其证明校验时间约 12 毫秒，笔记本上每秒可证明 7.2 至 8.7 百万条处理器指令。
推荐理由：微软研究院的新零知识证明虚拟机宣称比现有最快同类的 zkVM 快 10 至 39 倍，并仅依赖标准哈希函数，读者可借此理解这条技术路线的取舍。
Microsoft ResearchAI 评分4848 Microsoft Research 用 StudentSim 模拟学生学习，改进 AI 辅导系统
Microsoft Research 提出 StudentSim，可用公开的去标识学习者记录为每个学生训练个性化 AI 学生模拟器，在真实学习者测试前评估和改进 AI 辅导系统。该研究报告在 chess、第二语言英语写作和数学上，StudentSim 优于领先基线，并提供有用的反馈信号。团队还发布 StudentSimEval 评测基准，从行为保真度与指导响应性两个维度评估模拟器。
GitHub Blog · AI & ML精选AI 评分6060 GitHub 发布 AI 代码审查开放基准 ReviewBench
GitHub 发布 AI 代码审查离线基准 ReviewBench，包含 219 个公开 pull request、覆盖 19 种语言，并配有公开数据集和排行榜。
推荐理由：GitHub 公布 ReviewBench 的构建方法与 96.6% 专家标注一致率，并给出离线结果与线上 A/B 实验的对应案例。
Microsoft ResearchAI 评分4949 微软研究院用机器学习预报电网空间天气风险
微软研究院实习生开发了一套端到端机器学习系统，为美国本土66,935座变电站提供提前30-60分钟的空间天气风险预报。该系统结合L1太阳风观测、AE与Dst指数预报、地质电导率及电网数据，在2020-2026年评估期内识别出近80%的重大空间天气事件。GIC风险阶段对≥10 nT/min事件的检测率为76.5%，对≥50 nT/min的极端事件为64.1%。