Microsoft Research 证明31年悬而未决的 KLS 猜想
Microsoft Research 的 Xinzhi Zhang 与 Zhao Song 合作证明了1995年提出的 KLS 猜想，证明对数凹分布中平面切口的瓶颈与任意形状切口最多相差一个普适常数，与维度无关。
推荐理由：原文给出证明思路、独立验证与 Lean 形式化情况，读者可以了解人机协作如何促成一项数学难题的解决。
#Agent
Microsoft Research精选AI 评分7979
Google Research精选AI 评分6060 Google Research 发布 VERID 框架与闭环实验成果，推进自主湿实验室构建
Google Research 介绍三项研究成果，构建 AI 智能体驱动自主湿实验室的基础模块。VERID 框架基于开源 PyLabRobot，用实时 3D 数字孪生跟踪实验台状态、虚拟试运行和硬件安全检查，避免智能体生成的代码在物理上不可行。
推荐理由：Google 揭示了 AI 智能体在湿实验室落地的真实瓶颈，数字孪生校验与闭环实验数据为理解智能体科学研究提供了具体参照。
已经到底了