微软研究员证明31年KLS猜想

Microsoft Research 的 Xinzhi Zhang 与 Zhao Song 证明了 1995 年提出的 Kannan–Lovász–Simonovits（KLS）猜想，表明对数凸分布而言，平面切口的瓶颈与任意形状切口相差不超过一个与维度无关的通用常数。该结果消除了对维度的依赖，在 2026 年 10 月 4 日版本的论文中完成证明。 两位作者还缩短了证明，并用 Lean 验证了简化后的论证，计划在最终审阅后发布论文与验证代码。

AI 根据报道生成 · 2 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。