跳到正文
今天10月21日周三2 条
  1. Microsoft Research18

    微软研究院播客:Catalyst Lab 负责人 Chris White 谈从 DARPA 到打击人口贩运的技术之路

    微软研究院播客对话 Catalyst Lab 负责人 Chris White,回顾他 2010 年夏天在 DARPA 参与阿富汗战场数据分析项目、随后赴阿富汗领导先进技术运营的经历,以及他后来转向暗网搜索工具以协助打击人口贩运。节目还讨论了他对问题选择在创新中的作用,以及在看尽人性阴暗面后仍保持希望的看法。

10月20日周二
  1. GitHub Blog · AI & ML34

    如何在 VS Code 中继续 GitHub Copilot 应用会话

    GitHub Copilot 应用中的会话可直接在 VS Code 中打开并继续,对话、代码改动和工作上下文均保持不变。VS Code 会以该会话关联的 worktree 打开项目,并在 Copilot 侧边栏显示原会话,便于逐行审查 diff、手动编辑、本地运行测试,最后提交并推送到会话对应的 pull request。

10月19日周一
10月16日周五
  1. Microsoft Research60

    微软研究院发布 Magnetar:基于标准哈希函数的通用零知识证明系统

    微软研究院发布零知识虚拟机 Magnetar,可直接证明用 Rust、Go 或 C 编写的程序执行过程,并输出可在约 12 毫秒内验证的简短证明。在 15 个基准程序上,它比同类最快的 zkVM 平均快 10 到 39 倍,在笔记本上每秒可证明 7.2 至 8.7 百万条 RISC-V 指令。

    推荐理由:微软研究院梳理十余年零知识证明研究脉络,说明 Magnetar 如何在通用性、速度与密码学假设之间同时取得进展。

10月14日周三
  1. GitHub Blog · AI & ML42

    GitHub 详解密钥检测模型:用更少噪音发现更多密钥

    GitHub 用微调的 ModernBERT 分类器替换原有 LLM 流水线来识别通用密钥,用户接受率提升 11.5%,推送后扫描中位执行时间缩短 86%,服务成本降低超 98%。该方案先用正则高召回生成候选,再由分类器结合文件路径、变量名和上下文判断是否为真实凭据,并已把通用密钥检测扩展到推送保护阶段。

10月13日周二
  1. Microsoft Research58

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

    微软研究院发布研究系统 StudentSim,用公开的去标识化学习记录训练个性化 AI 学生模拟器,在真实学习者测试之前评估和改进 AI 辅导系统。该系统采用两阶段训练,先在同学科多学生记录上学习共性,再针对单个学生适配,并配套提出覆盖国际象棋、第二语言英语写作和数学的评测协议 StudentSimEval。

10月8日周四
  1. Microsoft Research66

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

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

    推荐理由:微软研究院开源约 3500 行的 Agent RL 框架,用真实 harness 参与训练,并给出 6000 样本提升 14.6 个点的完整流程。

10月7日周三
  1. Microsoft Research28

    微软研究院播客:AI 会犯哪些错,失败又能教我们什么

    微软研究院 partner research manager Jennifer Neville 在播客对话中讨论评估如何推动 AI 系统突破传统 benchmark 的性能边界,以及模型在超出常规测试时出现的“意外失败”。她结合自身从数学、物理、认知科学转向计算机科学的经历,分享使用当前 AI 系统的实用建议,并强调结果偏离预期时应仔细检查数据。

10月5日周一
10月1日周四
9月29日周二
  1. Microsoft Research62

    微软研究院推出面向生物学复杂性的 AI 研究系统 Quine

    微软研究院推出 Quine,一个由跨模态生物学世界模型和连接模型、科学工具、文献与研究者的交互框架组成的 AI 研究系统。该系统与 Broad Institute 合作用于胰腺导管腺癌研究,从数千个化合物中筛选并优先排序候选分子,湿实验显示排名最高的化合物产生了最大的经典态到基底态细胞状态转变,整个筛选到候选验证过程仅用一个周末。

    推荐理由:微软研究院公开 Quine 的生物学世界模型与实验编排框架,并给出胰腺癌化合物筛选的湿实验验证结果。

  2. Microsoft Research22

    Microsoft Research Asia 新加坡实验室成立一周年:推进前沿 AI 研究与产学研合作

    Microsoft Research Asia 新加坡实验室迎来成立一周年,这是微软在东南亚的首个研究实验室。该实验室围绕下一代 AI 模型与智能体系统、领域专用 AI、AI 原生研究实践、生态与人才培养四大方向展开工作,并在医疗健康领域与新加坡本地伙伴合作推进多模态医疗 AI 与自进化诊断智能体的落地。

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

    GitHub Copilot 如何用 canvases 构建自定义工作流

    GitHub Copilot 应用中的 canvas 是一种用户与智能体共享的可定制界面,可以是看板、问题分诊板、发布清单或仪表盘,双方都能实时修改。创建时只需打开智能体会话,输入 /create-canvas 技能并用自然语言描述要支持的工作流、用户可做的操作和智能体可做的操作,智能体就会生成界面并显示在右侧面板。