Microsoft Research· Xinzhi Zhang·· 4 小时前精选AI 评分69
微软研究院等证明 31 年未解的 KLS 猜想
Solving a 31-year-old grand challenge in mathematics – the KLS conjecture
AI 导读
微软研究院 Xinzhi Zhang 与合著者 Zhao Song 证明了 1995 年提出的 Kannan-Lovász-Simonovits（KLS）猜想，证明高维对数凹分布的最佳超平面切割与任意形状最佳切割之间只差一个与维度无关的通用常数。
推荐理由
这篇论文记录了研究者如何用人工引导的智能体搜索证明 KLS 猜想，并给出独立证明与 Lean 形式化验证的细节。
来源：Microsoft Research · microsoft.com