微软用合成企业数据评估 Microsoft Copilot 的 AI 置信度
微软构建 Industry Evaluation Data Generation Platform,用基于 O*NET、招聘信息和 SEC 文件等公开数据生成的全合成企业环境来评估 Microsoft Copilot,避免使用任何客户数据。
微软构建 Industry Evaluation Data Generation Platform,用基于 O*NET、招聘信息和 SEC 文件等公开数据生成的全合成企业环境来评估 Microsoft Copilot,避免使用任何客户数据。
Microsoft Research Focus 第97期由 Sowbhagya Suresh 主持,介绍微软多项最新研究。自改进智能体框架 ForkPilot 在六个基准和主流模型上测试,效果比肩现有最佳方法,同时将 AI 处理开销降低最多 59%。CABRA 框架发现编码智能体最大障碍是理解陌生代码库,TeleTune 则从用户活动日志中学习可复用技能。
微软研究院发布 Flint-interactive,一种构建在 Flint 之上的交互式数据可视化语言,让智能体生成可通过点击、筛选、缩放、高亮和跨图表联动探索的图表。
微软研究院的 Xinzhi Zhang 与合著者 Zhao Song 证明了 1995 年提出的 KLS 猜想,证明高维对数凹分布下最佳超平面切割与任意形状最佳切割的差距不超过一个与维度无关的常数。
推荐理由:这条内容讲的是研究者如何用智能体并行探索上百条路径、人工筛选后完成证明,可了解人机协作做数学研究的实际流程。
微软研究院播客本期由 Weishung Liu 对话 Catalyst Lab 负责人 Chris White,回顾其从哈佛博士后到 DARPA 项目经理、再到阿富汗战场技术负责人和暗网搜索工具开发者的经历。White 曾获 2016 年美国总统打击人口贩运杰出贡献奖,其工作曾被 Popular Science 报道。两人还讨论了问题选择在创新中的作用,以及在看尽人性阴暗面后如何保持希望。
GitHub Copilot 应用中的会话可直接在 VS Code 中打开,保留任务、计划和对话上下文,以及智能体改动过的 worktree 与 diff。用户可在编辑器里逐行审查改动、手动编辑、用集成终端运行测试,再把更新推送到该会话关联的 pull request。
微软研究院发布零知识虚拟机 Magnetar,可直接证明用 Rust、Go 或 C 编写的 RISC-V 程序执行过程,在 15 个基准程序上平均比现有最快 zkVM 快 10 至 39 倍,证明验证约需 12 毫秒。
推荐理由:微软研究院梳理十余年零知识证明研究脉络,说明 Magnetar 如何同时兼顾通用性、速度与标准哈希函数安全性。
GitHub 为密钥扫描训练了专用 ModernBERT 分类器,配合正则候选生成的两阶段流水线,替代此前的 LLM 流水线。其告警接受率提升 11.5%,推送后扫描中位执行时间缩短 86%,服务成本降低 98% 以上,并让通用密钥检测得以进入推送保护环节。
GitHub Copilot 入门系列介绍四种让 Copilot 适配项目的方式:在 .github/copilot-instructions.md 中定义仓库级自定义指令,用 .github/skills 下的 agent skills 封装可重复流程,用 .github/agents 中的自定义 agent 处理跨文件复杂任务,并通过 MCP 服务器连接外部工具与数据源。
微软研究院提出 StudentSim,从公开的去标识化学习记录训练个性化 AI 学生模拟器,用于在接触真实学习者之前评估和改进 AI 辅导系统。研究同时发布 StudentSimEval 基准,覆盖国际象棋、第二语言英语写作和数学三个领域,从行为保真度和指导响应度两个维度评估模拟器。
GitHub 发布与 Microsoft Applied Sciences 合作微调的 ModernBERT 分类器,用代码上下文识别无固定格式的密钥,候选批次评估耗时不到 2 毫秒,可将可拦截的密钥数量提升一倍以上。
推荐理由:GitHub 用九个季度的数据说明密钥泄露压力来自代码量增长,并给出用分类器把防护前移到 push 环节的思路。
微软研究院开源 Agent Lightning v1.0,这是一个约 3500 行代码的轻量智能体强化学习框架,提出 Harnessed Agentic RL 范式,让部署时使用的 agent harness 直接参与训练,无需在训练框架内重写 agent。
推荐理由:框架把部署用的 agent harness 直接接入 RL 训练,并给出 6000 样本提升 14.6 个百分点的完整复现路径。
GitHub 发布开源代码审查基准 ReviewBench,基于 1.039 亿个 GitHub PR 的分布特征,构建了覆盖 19 种语言、来自 187 个开源仓库的 219 个 PR 评测集。
GitHub Copilot 应用中的 canvas 是一种用户与智能体共享的可定制界面,可以是看板、问题分诊板、发布清单或表格。在智能体会话中输入 /create-canvas 并用自然语言描述工作流、界面操作和智能体权限,智能体就会生成界面并在右侧面板打开,之后可继续让智能体增删列、筛选或接入未关闭的 pull request。