Microsoft Research 与合作者证明 31 年历史的 KLS 猜想

Microsoft Research 的 Xinzhi Zhang 与 Zhao Song 证明了 1995 年提出的 KLS 猜想，确立对数凹分布的最优平面切割与任意形状切割之差以普适常数为界、不随维度增长。证明源自人类引导的多智能体迭代剪枝过程，约百条研究路径中筛出关键判据，另有独立团队同日发布完整证明，并已有 Lean 4 形式化验证。