微软研究院称证明KLS猜想

事件综述根据 2 篇报道整理，10月22日更新

微软研究院机器学习与优化组的 Xinzhi Zhang 与合著者 Zhao Song 称已证明 1995 年提出的 Kannan-Lovász-Simonovits（KLS）猜想，即该关系在高维下由固定常数界定、不随维度增长。按微软研究院博客的说法，证明在 2026 年 10 月 4 日的论文版本中完成，移除了理解科学与计算中随机算法效率的一大障碍。 作者还缩短了证明，并用 Lean 验证了精简后的论证，计划在最终审阅后公开论文与验证结果。目前结论来自微软研究院及其研究者的声明，尚未见同行评议或独立复现的报道。

综述由模型根据报道生成，细节以各篇原文为准。