跳到正文

按收录时间排列 · 卡片保留原文日期,往期好文也会新收录

10月27日周二
10月23日周五
  1. AIHOT 精选59

    微软 MAI Diagnostic 诊断系统研究登上 Science,准确率为急诊医生 1.7 倍

    Satya Nadella 宣布微软团队在 ScienceMagazine 发表研究,展示其诊断编排系统如何对复杂医疗病例进行推理,在提升诊断准确性的同时降低检测成本。引用的 Mustafa Suleyman 帖子称 MAI Diagnostic 在急诊科的准确率是医生的 1.7 倍,即使医生可以上网查资料,且成本更低、为得出诊断所做的医学检查更少。

    原文:2026/10/23

10月22日周四
  1. Microsoft Research62

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

    微软研究院推出Quine,一个由生物学世界模型和连接科学工具、文献、湿实验与研究者的交互框架组成的AI研究系统。与Broad Institute of MIT and Harvard合作,Quine用于预测和排序数千种化合物以推动肿瘤细胞状态转变,作者称从缩小化合物搜索空间到锁定少数候选并在实验验证的整个过程只用了一个周末。

    原文:2026/09/29

  2. Microsoft Research74

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

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

    原文:2026/10/08

    推荐理由:文章说明了用真实部署 harness 直接做强化学习的思路及其四个技术难点,可迁移理解训练与部署不一致问题的解法。

  3. Microsoft Research72

    微软研究院发布零知识证明虚拟机Magnetar

    微软研究院发布零知识证明虚拟机Magnetar,可证明Rust、Go或C编写的RISC-V程序执行,在15个基准程序上平均比现有最快zkVM快10至39倍,证明验证约12毫秒。其安全性仅依赖SHA-256或SHA-3等标准哈希函数,不依赖椭圆曲线、格假设或可信设置,是微软十余年零知识证明研究(含Spartan、Phalanx、Nova、BinarySpartan等)的集成成果。

    原文:2026/10/16

    推荐理由:文章梳理了零知识证明普及的三大障碍及微软十余年研究脉络,便于理解Magnetar各项设计选择的来龙去脉。

  4. Microsoft Research77

    微软研究者与合作者证明31年悬案KLS猜想

    微软研究院机器学习与优化组的 Xinzhi Zhang 与合作者 Zhao Song 证明了1995年提出的 Kannan-Lovász-Simonovits(KLS)猜想,表明对对数凹分布,最佳超平面切割与任意形状切割的差距不超过一个与维度无关的普适常数。

    原文:2026/10/22

    推荐理由:文章说明研究者如何用人类引导的智能体搜索探索上百条路径并完成证明,同时对比了同等预算下无引导尝试的失败,为如何组织人机协作科研提供了可迁移的参照。

  5. GitHub Blog · AI & ML49

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

    GitHub Copilot app 的 canvases 功能让用户用 /create-canvas 技能以自然语言描述工作流,即可生成可双向交互的自定义界面(看板、发布清单、表单等),无需写代码。界面由 agent 与用户共享状态,双方可同时操作并实时同步。创建后可保存为扩展供团队共享或个人使用,社区还通过 Awesome Copilot 提供现成模板。

    原文:2026/09/26

  6. GitHub Blog · AI & ML72

    GitHub:密钥保护必须跟上软件生成速度

    GitHub 产品负责人 Erin Havens 称,涉及 AI 智能体的 PR 已达三分之一,一年前不足十分之一,若保持该速度,两年内 GitHub 上多数代码可能由智能体写成。

    原文:2026/10/08

    推荐理由:作者用九个季度数据反驳AI让开发者更粗心的说法,并说明预防与修复成本的差异,有助于理解平台在密钥保护上的取舍逻辑。

10月14日周三