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

Microsoft Research 的 Xinzhi Zhang 与 Zhao Song 合作证明了1995年提出的 Kannan–Lovász–Simonovits（KLS）猜想，即对数凹分布中平面切口的瓶颈与任意形状切口最多相差一个普适常数、与维度无关。10月4日版本的论文消除了对维度的依赖，完成全部证明。 两位作者还缩短了证明，并用 Lean 形式化验证了精简后的论证，计划在最终审阅后发布。

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

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