Microsoft Research 与合作者证明 31 年历史的 KLS 猜想
Microsoft Research 的 Xinzhi Zhang 与 Zhao Song 证明了 1995 年提出的 KLS 猜想，确立对数凹分布的最优平面切割与任意形状切割之差以普适常数为界、不随维度增长。证明源自人类引导的多智能体迭代剪枝过程，约百条研究路径中筛出关键判据，另有独立团队同日发布完整证明，并已有 Lean 4 形式化验证。
#Microsoft
AIHOT · AI 动态聚合AI 评分3434 AIHOT · AI 动态聚合AI 评分7272 Microsoft AI 发布 SDBench 基准与 MAI-DxO 诊断系统，成果登 Science
Microsoft AI 发布顺序诊断基准 SDBench 和 AI 诊断系统 MAI-DxO，论文发表于 Science。在 304 个 NEJM 复杂病例上 MAI-DxO 诊断准确率为 83%，医生无参考资料时为 22%、有参考资料时为 36%；在 MIMIC-IV-ED 急诊病例上为 80%，医生为 47%。