跳到正文
今天10月27日周二1 条
10月26日周一
10月24日周六
10月23日周五
10月22日周四
  1. Microsoft Research76

    Microsoft Research 研究员与合作者证明 31 年前的 KLS 猜想

    Microsoft Research 的 Xinzhi Zhang 与 Zhao Song 证明 1995 年提出的 Kannan-Lovász-Simonovits(KLS)猜想,表明对数凸分布而言最优平面割与任意形状割之差不超过与维度无关的普适常数。

    推荐理由:原文详述证明路径、独立验证与 Lean 形式化,并对比了有无人类引导的 AI 探索差异,方法可借鉴。

10月21日周三
10月20日周二
10月14日周三
  1. GitHub Blog · AI & ML54

    GitHub 详解基于 ModernBERT 的秘密检测模型如何降低误报并提速降本

    GitHub 介绍其新的两段式秘密检测管线,用 regex 生成候选、再由微调 ModernBERT 分类器结合上下文判断,替代此前的 LLM 管线。相比旧管线,post-push 扫描中位执行时间降低 86%,服务成本降低超过 98%,仓库所有者加权接受率提高 11.5%,离线评测精确率提高 13%、召回率提高 19%。

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

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

    微软亚洲研究院发布 Harnessed Agentic RL 训练范式并开源重建的 Agent Lightning v1.0,让部署时使用的同一 agent harness 直接参与强化学习,无需在训练框架内重新实现智能体。

    推荐理由:框架让部署用的真实 agent harness 直接参与 RL 训练,还给出端到端编码智能体训练管线,读者可评估是否接入现有工作流。

10月7日周三
10月5日周一
  1. GitHub Blog · AI & ML48

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

    GitHub 推出 AI 代码评审离线基准 ReviewBench,现可公开使用。基准基于 1.039 亿个 GitHub pull request 建模分布,语料包含来自 187 个开源仓库、覆盖 19 种语言的 219 个公开 pull request,采用人类评审、前沿 LLM 与静态分析多来源 golden set,并由资深工程师独立标注,一致性达 96.6%。

10月1日周四
  1. Microsoft Research46

    Microsoft Research 用机器学习预测电网空间天气风险

    Microsoft Research 的实习生构建了一个机器学习系统,为美国大陆 66,935 座变电站提供位置级空间天气风险预测。系统结合 L1 点太阳风观测、AE 与 Dst 指数预测、地质电导率和电网数据,可在风险出现前 30 到 60 分钟预警;评估中检出约 80% 的重大事件,其中严重事件(≥20 nT/min)检出率达 81.2%。

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

    GitHub Copilot app 教程:如何用 canvases 构建自定义工作流界面

    GitHub Copilot app 支持通过 /create-canvas 技能用自然语言生成可自定义的 canvas 界面,如看板、问题分类板或发布清单,无需写代码。canvas 是双向共享的,用户点击按钮或移动卡片时智能体立即看到变化,智能体更新时界面同步刷新;创建后可保存为扩展供团队共享或个人复用,社区还通过 Awesome Copilot 提供现成 canvas 扩展。

8月31日周一