跳到正文
11月4日周三
11月2日周一
10月23日周五
10月22日周四
  1. Microsoft Research85

    微软研究院等证明KLS猜想,解决高维几何领域31年悬而未决的核心难题

    微软研究院机器学习与优化组的Xinzhi Zhang与合作者证明了1995年提出的Kannan–Lovász–Simonovits(KLS)猜想,证明对数凹分布的最优平面切割与任意形状最优切割之差被一个与维度无关的通用常数界定。

    推荐理由:作者亲述人类主导的智能体搜索如何证明悬置31年的KLS猜想,对照无引导尝试的失败,可作为人机协作科研方法的参照。

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

    如何在 VS Code 中继续 GitHub Copilot app 的会话

    教程演示如何把 GitHub Copilot app 中的会话直接在 VS Code 中打开并继续:对话记录、代码改动和 worktree 工作树完整保留,可逐行审查 diff、手动编辑并用集成终端本地运行测试。完成后再通过 git commit 和 push 把更新推送到与会话关联的 pull request,全程无需在新编辑器中重建任务上下文。

10月16日周五
  1. Microsoft Research60

    Microsoft Research 发布零知识虚拟机 Magnetar,通用程序可证执行提速 10 至 39 倍

    Microsoft Research 发布零知识虚拟机 Magnetar,可直接证明用 Rust、Go 或 C 编写的 RISC-V 程序执行,无需密码学专家改写电路。

    推荐理由:微软研究院展示的 Magnetar zkVM 只依赖标准哈希函数做安全基础,速度比同类最快系统平均快 10 到 39 倍,可与量子安全路线对照阅读。

10月13日周二
  1. Microsoft Research46

    Microsoft Research 推出研究系统 StudentSim:用 AI 学生模拟器改进 AI 辅导

    Microsoft Research 推出研究系统 StudentSim,通过从公开、去标识的学习者记录中训练个性化的 AI 学生模拟器,在真实学习者测试前评估和改进 AI 辅导工具。系统从行为保真度和指导响应性两个维度评估模拟器,并发布涵盖国际象棋、英语二语写作和数学的基准 StudentSimEval,StudentSim 在这三个领域均超越主流基线。该系统不用于课堂部署,也不旨在取代教师。

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

    GitHub 发布 AI 秘密检测模型,扩展 push protection 覆盖非结构化密钥

    GitHub 博客介绍与 Microsoft Applied Sciences 合作微调的 ModernBERT 分类器,可在两毫秒内评估候选密钥,将 push protection 扩展到无固定模式的非结构化秘密,可拦截的秘密数量有望翻倍以上。

    推荐理由:作者用九个季度数据说明开发者并未因 Agent 变得更粗心,并给出新的检测模型如何以低延迟拦截更多泄露,可对照自家安全流程参考。

10月5日周一
  1. GitHub Blog · AI & ML61

    GitHub 发布开源 AI 代码评审基准 ReviewBench

    GitHub 与 Microsoft 团队发布 AI 代码评审离线基准 ReviewBench,语料基于对 GitHub 上 1.039 亿个真实 pull request 的分布分析,收录来自 187 个开源仓库、覆盖 19 种语言的 219 个 pull request,数据集、评审 rubric、judge 提示词与自测 runner 全部公开。

    推荐理由:基准数据集、评审规则和自测流程全部公开,做代码评审智能体的团队可以直接上手离线评估并对照排行榜迭代。

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

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

    GitHub Copilot 应用中的 canvases(画布扩展)是用户与智能体共享的可定制双向界面,可用作看板、问题分流板、发布清单或仪表盘。用户在智能体会话中输入 /create-canvas 并用自然语言描述需求,智能体即可自动生成界面并显示在右侧面板,后续可继续添加列、筛选器或拉取未合并的 pull request 进行调整。