跳到正文
10月30日周五
  1. Microsoft Research22

    Microsoft Research Focus 第97期:ForkPilot、CABRA 与 TeleTune 等研究进展

    Microsoft Research Focus 第97期由 Sowbhagya Suresh 主持,介绍微软多项最新研究。自改进智能体框架 ForkPilot 在六个基准和主流模型上测试,效果比肩现有最佳方法,同时将 AI 处理开销降低最多 59%。CABRA 框架发现编码智能体最大障碍是理解陌生代码库,TeleTune 则从用户活动日志中学习可复用技能。

10月23日周五
10月22日周四
  1. Microsoft Research71

    微软研究院等证明 31 年未解的 KLS 猜想

    微软研究院的 Xinzhi Zhang 与合著者 Zhao Song 证明了 1995 年提出的 KLS 猜想,证明高维对数凹分布下最佳超平面切割与任意形状最佳切割的差距不超过一个与维度无关的常数。

    推荐理由:这条内容讲的是研究者如何用智能体并行探索上百条路径、人工筛选后完成证明,可了解人机协作做数学研究的实际流程。

10月21日周三
  1. Microsoft Research12

    微软研究院播客:Catalyst Lab 负责人 Chris White 谈从阿富汗到暗网搜索的技术向善之路

    微软研究院播客本期由 Weishung Liu 对话 Catalyst Lab 负责人 Chris White,回顾其从哈佛博士后到 DARPA 项目经理、再到阿富汗战场技术负责人和暗网搜索工具开发者的经历。White 曾获 2016 年美国总统打击人口贩运杰出贡献奖,其工作曾被 Popular Science 报道。两人还讨论了问题选择在创新中的作用,以及在看尽人性阴暗面后如何保持希望。

10月20日周二
10月16日周五
  1. Microsoft Research71

    微软研究院推出基于证明的通用计算系统 Magnetar

    微软研究院发布零知识虚拟机 Magnetar,可直接证明用 Rust、Go 或 C 编写的 RISC-V 程序执行过程,在 15 个基准程序上平均比现有最快 zkVM 快 10 至 39 倍,证明验证约需 12 毫秒。

    推荐理由:微软研究院梳理十余年零知识证明研究脉络,说明 Magnetar 如何同时兼顾通用性、速度与标准哈希函数安全性。

10月14日周三
10月13日周二
  1. Microsoft Research52

    微软研究院提出 StudentSim:用学生模拟器为 AI 辅导提供反馈

    微软研究院提出 StudentSim,从公开的去标识化学习记录训练个性化 AI 学生模拟器,用于在接触真实学习者之前评估和改进 AI 辅导系统。研究同时发布 StudentSimEval 基准,覆盖国际象棋、第二语言英语写作和数学三个领域,从行为保真度和指导响应度两个维度评估模拟器。

10月8日周四
  1. GitHub Blog · AI & ML60

    GitHub 推出基于 ModernBERT 的密钥检测分类器,将防护前移到 push 环节

    GitHub 发布与 Microsoft Applied Sciences 合作微调的 ModernBERT 分类器,用代码上下文识别无固定格式的密钥,候选批次评估耗时不到 2 毫秒,可将可拦截的密钥数量提升一倍以上。

    推荐理由:GitHub 用九个季度的数据说明密钥泄露压力来自代码量增长,并给出用分类器把防护前移到 push 环节的思路。

  2. Microsoft Research78

    微软研究院开源 Agent Lightning v1.0:约 3500 行的轻量智能体 RL 框架

    微软研究院开源 Agent Lightning v1.0,这是一个约 3500 行代码的轻量智能体强化学习框架,提出 Harnessed Agentic RL 范式,让部署时使用的 agent harness 直接参与训练,无需在训练框架内重写 agent。

    推荐理由:框架把部署用的 agent harness 直接接入 RL 训练,并给出 6000 样本提升 14.6 个百分点的完整复现路径。

10月5日周一
9月26日周六
  1. GitHub Blog · AI & ML58

    GitHub Copilot 应用入门:如何用 canvases 构建自定义工作流

    GitHub Copilot 应用中的 canvas 是一种用户与智能体共享的可定制界面,可以是看板、问题分诊板、发布清单或表格。在智能体会话中输入 /create-canvas 并用自然语言描述工作流、界面操作和智能体权限,智能体就会生成界面并在右侧面板打开,之后可继续让智能体增删列、筛选或接入未关闭的 pull request。