跳到正文
  1. The Verge · AI77

    微软称其 AI 诊断工具在诊断准确率上超过医生

    微软公布名为 Diagnostic Orchestrator 的诊断系统,用多个 AI 智能体推理症状与病史、决定检查项目并给出诊断,研究结果发表在 Science。

    推荐理由:微软用多智能体编排做诊断,在自建 SDBench 上把准确率与医生拉开差距,也交代了临床验证尚未完成。

  1. Microsoft Research77

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

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

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

  1. The Decoder78

    四个 Gemini 4 Argon 智能体无人类干预通关 Minecraft

    Google DeepMind 团队让四个运行 Gemini 4 Argon 的 AI 智能体在随机生成的世界中通关 Minecraft,击杀末影龙,全程无人类输入。

    推荐理由:四个智能体在无角色分配、无专用工具的条件下自主分工通关,可观察多智能体协作的实际运行方式。

  1. Microsoft Research62

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

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

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

  1. Microsoft Research60

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

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

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

已经到底了