微软研究院 Xinzhi Zhang 等人证明 31 年未解的 KLS 猜想

微软研究院 Xinzhi Zhang 与合著者 Zhao Song 证明了 1995 年提出的 KLS 猜想，说明对对数凹分布而言，最佳平面切割与任意形状最佳切割的效果之差不超过一个与维度无关的通用常数。研究团队在人类引导的智能体流程中探索了 100 多条候选路径，最终借助递归改进与误差有界论证完成证明；同期另有独立团队给出完整证明，并出现了 Lean 4 形式化验证。