Microsoft Research· Xinzhi Zhang·· 2 小时前精选AI 评分82
微软研究院证明 KLS 猜想，解决高维几何 31 年悬而未决的难题
Solving a 31-year-old grand challenge in mathematics – the KLS conjecture
AI 导读
微软研究院机器学习与优化组的 Xinzhi Zhang 与合作者证明了 1995 年提出的 Kannan–Lovász–Simonovits（KLS）猜想，即对数凹分布的最优平面切割与任意形状切割之间只差一个与维度无关的常数。
推荐理由
原文给出证明思路、独立团队并行验证与 Lean 形式化进展，读者可据此判断该结果对高维几何与理论计算机科学的影响。
来源：Microsoft Research · microsoft.com