跳到正文
  1. TechCrunch · AI80

    Microsoft 发布 MAI-DxO 研究:AI 诊断系统在复杂病例上准确率超全科医生

    Microsoft 在 Science 发表研究,其多智能体诊断系统 MAI-DxO 在复杂病例模拟中准确率达 83%,高于全科医生的 36%。该系统在 GPT-5.5 上表现最佳,但成本仅降低约 3000 美元且急诊病例提升有限。Microsoft 计划与 Mayo Clinic 合作训练医疗基础模型,并将在 Boston 医院开展真实世界评估。

    推荐理由:原文展示了多智能体系统在复杂病例上超越全科医生的模拟数据,并给出了不同模型下的成本与准确率对比。

  1. Microsoft Research85

    Microsoft Research 证明 31 年前提出的 KLS 猜想

    Microsoft Research 研究人员与合著者共同证明了困扰数学界 31 年的 KLS 猜想,确立了高维几何中普适的几何原则。该成果通过人类主导的 AI 智能体研究流程实现,AI 系统探索了超过 100 种候选方法,研究人员负责评估、剪枝和重定向搜索。独立研究者已验证该研究,并发布了基于 Lean 4 的形式化验证,确认了结果的可靠性。

    推荐理由:展示了人类主导 AI 探索数学路径并解决高维几何核心难题的过程,为 AI 辅助科研提供了具体范式。

  1. Microsoft Research73

    Microsoft Research 发布 Magnetar:基于标准哈希函数的通用零知识证明系统

    Microsoft Research 发布 Magnetar,一种基于标准哈希函数的零知识虚拟机,支持 Rust、Go 和 C 程序的可验证执行。Magnetar 在笔记本电脑上每秒可证明 720 万至 870 万条处理器指令,比现有最快同类系统平均快 10 至 39 倍,且证明验证时间仅需约 12 毫秒。

    推荐理由:Magnetar 将零知识证明速度提升 10 至 39 倍,且仅依赖标准哈希函数,为通用计算的可验证性提供了工程化路径。

  1. Microsoft Research80

    Microsoft Research 发布 Agent Lightning v1.0 轻量级智能体强化学习框架

    Microsoft Research 发布 Agent Lightning v1.0,这是一个约 3500 行代码的轻量级智能体强化学习框架,支持在真实部署环境中直接进行训练。

    推荐理由:原文展示了利用真实 Agent 框架进行强化学习训练的方法,并给出了在 SWE-bench Verified 上提升 14.6 个百分点的具体实验数据。

已经到底了