Microsoft Research研究者证明31年未解的KLS猜想

Microsoft Research研究者及合作者证明了1995年提出的Kannan–Lovász–Simonovits（KLS）猜想，表明对数凹分布中最佳平面切割与任意形状切割的效果相差不超过与维度无关的固定常数。研究团队通过人类引导的智能体搜索探索了100多条候选路径，利用递归收紧界并证明累积误差保持有界，最终消除了维度依赖；随后出现了独立证明和Lean 4形式化验证。