微软 MAI-DxO 登上《科学》杂志，AI 会诊准确率约83%高于医生组
微软公布 MAI-DxO 系统，让同一个大模型扮演五位分工不同的虚拟医生组成会诊小组，包括提出诊断、挑选检查、唱反调、盯成本和复核的角色，成果登上《科学》杂志。
推荐理由：原文拆解了微软 MAI-DxO 五角色会诊机制的分工细节和测试费用数据，读者可以了解多智能体医疗诊断的可行思路。
#推理
钛媒体精选AI 评分7373
The Decoder精选AI 评分8282 OpenAI 宣称其 AI 在数学、计算机科学和物理学领域产出重大证明，邀请外部专家核查
OpenAI 宣布其 AI 在数学、计算机科学和物理学领域产出重大证明结果，并请外部专家担任 shepherd 核查，数学与计算机科学证明已翻译为 Lean。
推荐理由：原文梳理了三个领域证明的核心内容和不同验证机制，读者可借此了解 AI 数学成果如何被外部专家独立核查。
Microsoft Research精选AI 评分7676 微软研究者证明 31 年未解的 KLS 猜想
微软研究院 Xinzhi Zhang 与合著者 Zhao Song 证明了 1995 年提出的 Kannan-Lovász-Simonovits（KLS）猜想，给出与维度无关的固定界。
推荐理由：微软研究者用人类主导的智能体搜索证明 KLS 猜想，可看人机协作如何参与数学发现。
Microsoft Research精选AI 评分6060 微软研究院推出 Magnetar：基于标准哈希函数的零知识证明虚拟机
微软研究院发布零知识证明虚拟机 Magnetar，可直接证明用 Rust、Go 或 C 编写的程序执行过程，安全性仅依赖 SHA-256、SHA-3 等标准哈希函数。
推荐理由：微软研究院梳理十余年零知识证明研究脉络，说明 Magnetar 如何在速度、通用性和密码学假设上同时推进。
已经到底了