跳到正文
今天10月23日周五
  1. The Verge · AI78

    微软诊断编排器在病例测试中准确率高于医生,成果发表于 Science

    微软 AI 负责人 Mustafa Suleyman 向 The Verge 表示,公司开发的诊断工具 Diagnostic Orchestrator 在测试中诊断准确率最高可达人类医生的四倍,相关结果发表在 Science。

    推荐理由:微软在 Science 发表诊断系统评测,给出与医生对照的准确率数字,也交代了尚未做临床验证的边界。

10月22日周四
  1. Microsoft Research78

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

    微软研究院 Xinzhi Zhang 与合著者 Zhao Song 证明了 1995 年提出的 KLS 猜想,给出与维度无关的固定界,解决了高维几何与概率论中的核心开放问题。证明过程采用人类引导的智能体搜索,探索了约 100 条研究路径,由研究者筛选方向并验证结论;同期另有独立团队给出完整证明,并出现 Lean 4 形式化验证。作者称此前用多个前沿模型做无引导的端到端尝试未能达成目标。

    推荐理由:微软研究者用人类引导的智能体搜索证明 KLS 猜想,读者可看到人机协作在数学发现中的具体分工。