跳到正文
只看一手#Microsoft
  1. Microsoft Research79

    Microsoft Research 证明31年悬而未决的 KLS 猜想

    Microsoft Research 的 Xinzhi Zhang 与 Zhao Song 合作证明了1995年提出的 KLS 猜想，证明对数凹分布中平面切口的瓶颈与任意形状切口最多相差一个普适常数，与维度无关。

    推荐理由：原文给出证明思路、独立验证与 Lean 形式化情况，读者可以了解人机协作如何促成一项数学难题的解决。

  1. Microsoft Research66

    微软亚洲研究院开源 Agent Lightning v1.0：3,500 行代码的 Harnessed Agentic RL 框架

    微软亚洲研究院发布 Harnessed Agentic RL 训练范式并开源重建的 Agent Lightning v1.0，让部署时使用的真实 agent harness 直接参与强化学习，无需在训练框架内重新实现 agent。

    推荐理由：部署用的 agent harness 直接参与 RL 训练，免去在训练框架内重写 agent，并用 Kubernetes jobs 替代付费 sandbox 降低规模化成本。

  1. Microsoft Research61

    Microsoft Research 发布生物多模态世界模型系统 Quine

    Microsoft Research 推出 AI 研究系统 Quine，包含生物学世界模型和连接科学工具、文献与湿实验的交互框架。与 Broad Institute 合作中，系统为胰腺导管腺癌（PDAC）预测并排序了数千种可驱动肿瘤细胞状态转变的化合物，湿实验验证中排名最高的化合物产生了最大的预期状态转变，整个筛选过程只用了一个周末。

    推荐理由：原文给出 Quine 的系统构成和胰腺癌湿实验验证结果，读者可以了解这种生物世界模型如何缩短实验迭代周期。

已经到底了