Microsoft Research 证明31年悬而未决的 KLS 猜想
Microsoft Research 的 Xinzhi Zhang 与 Zhao Song 合作证明了1995年提出的 KLS 猜想，证明对数凹分布中平面切口的瓶颈与任意形状切口最多相差一个普适常数，与维度无关。
推荐理由：原文给出证明思路、独立验证与 Lean 形式化情况，读者可以了解人机协作如何促成一项数学难题的解决。
Microsoft Research 的 Xinzhi Zhang 与 Zhao Song 合作证明了1995年提出的 KLS 猜想，证明对数凹分布中平面切口的瓶颈与任意形状切口最多相差一个普适常数，与维度无关。
推荐理由：原文给出证明思路、独立验证与 Lean 形式化情况，读者可以了解人机协作如何促成一项数学难题的解决。