跳到正文
#Microsoft
  1. The Verge · AI77

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

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

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

  1. Microsoft Research77

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

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

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

  1. NVIDIA Blog65

    NVIDIA 发布 RTX Spark 笔记本平台，主打本地 AI 与创作游戏

    NVIDIA 发布 RTX Spark，定位为一台面向创作者、游戏玩家和 AI 智能体的 Windows PC，并将在全球多地举办发布活动。

    推荐理由：NVIDIA 官方公布 RTX Spark 面向创作者、游戏玩家和 AI 智能体的定位，并汇总多家媒体对本地 AI 性能的早期评价。

  2. Microsoft Research62

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

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

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

  1. Microsoft Research71

    微软研究院开源 Agent Lightning v1.0：3500 行代码的轻量 Agentic RL 框架

    微软研究院开源 Agent Lightning v1.0，一个约 3500 行代码的轻量 Agentic RL 框架，提出 Harnessed Agentic RL 范式，让部署时使用的 agent harness 直接参与强化学习训练，无需在训练框架内重写 agent。

    推荐理由：微软研究院开源 Agent Lightning v1.0，用约 3500 行代码把部署中的 agent harness 直接接入强化学习训练，并给出可复现的编码 agent 训练结果。

  1. Microsoft Research60

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

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

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

已经到底了