跳到正文
今天10月23日周五1 条
  1. Microsoft Research58

    微软研究院发布 Flint-interactive,让智能体生成可交互数据可视化

    微软研究院发布 Flint-interactive,一种构建在 Flint 之上的交互式数据可视化语言,让智能体生成可点击、筛选、缩放、高亮并支持跨图表联动的图表。它把点击、拖拽等原始触发解析为语义事件,用户只需用高层算子描述更新行为,布局与渲染依赖由 Flint 编译器处理。用户可通过 Flint-MCP 和 MCP Apps 在对话中直接使用,开发者可用编程 API 构建仪表盘和数据故事。

10月22日周四
  1. Microsoft Research77

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

    微软研究院的 Xinzhi Zhang 与合著者证明了 1995 年提出的 KLS 猜想,确认高维对数凹分布中最优平面切割与任意形状切割的效果只差一个与维度无关的常数。作者在人类主导的智能体搜索流程中探索了 100 多条候选路径,由研究者筛选和调整方向,最终借助递归改进与误差有界证明完成证明。同期另有独立团队给出完整证明,并有 Lean 4 形式化验证发布。

    推荐理由:微软研究员用人类主导的智能体搜索证明 KLS 猜想,展示了人机协作做数学研究的具体分工方式。

10月21日周三
  1. Microsoft Research15

    Microsoft Research 播客:Chris White 谈从阿富汗到打击人口贩运的技术之路

    Microsoft Research Catalyst Lab 负责人 Chris White 在播客中讲述其从哈佛博士后借调 DARPA、赴阿富汗领导先进技术行动,到开发暗网搜索工具协助打击人口贩运的经历。他因相关工作获得 2016 年美国总统打击人口贩运杰出贡献奖。对话还讨论了问题选择在创新中的作用,以及目睹人性阴暗面后如何保持希望。

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

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

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

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

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

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

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

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

    GitHub 如何用 ModernBERT 分类器更少噪声地检测密钥

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

10月13日周二
10月8日周四
  1. Microsoft Research71

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

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

    推荐理由:微软研究院开源 Agent Lightning v1.0,用约 3500 行代码把部署中的 agent harness 直接接入强化学习训练,并给出可复现的编码 agent 训练结果。

10月7日周三
  1. Microsoft Research22

    Microsoft 研究员 Jennifer Neville 谈 AI 评测与“意外失败”的启示

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

10月5日周一
10月1日周四
  1. Microsoft Research38

    微软研究院用机器学习预测电网空间天气风险

    微软研究院实习生构建的机器学习流水线可为美国本土66,935座变电站提供提前30-60分钟的位置级空间天气风险预测,评估期内检出近80%的重大事件。系统结合AE与Dst指数预报、纬度、地质电导率及电网数据,Dst预测在2020-2026年评估期峰值活跃时段有62.2%的小时优于Burton方程。

9月29日周二
9月26日周六
  1. GitHub Blog · AI & ML55

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

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

9月25日周五
9月24日周四
  1. Microsoft Research60

    微软研究院:把物理 AI 推理卸载到边缘或云端可提升机器人性能与续航

    微软研究院对移动操作机器人工作负载做了系统测量,发现把物理 AI 推理从机器人端侧 GPU 卸载到边缘或云端 GPU,能提升任务成功率、支持更大模型并延长续航。

    推荐理由:微软研究院系统测量了机器人端侧 GPU 推理的瓶颈,并给出可复用的 Kubernetes 卸载工具链,为具身智能系统设计提供实测依据。