Microsoft Research· Xinzhi Zhang·· 4 小时前精选AI 评分74
微软研究员证明 31 年悬而未决的 KLS 猜想
Solving a 31-year-old grand challenge in mathematics – the KLS conjecture
AI 导读
微软研究院研究员与合作者证明了 Kannan-Lovász-Simonovits（KLS）猜想，为高维几何与概率论中的核心问题提供了维度无关的通用几何原理。该成果通过人类指导的智能体研究流程完成，并已获得多个独立证明和 Lean 4 形式化验证。
推荐理由
原文给出了证明思路和独立验证情况，读者可以据此判断这一数学突破对算法与采样理论的直接影响。
来源：Microsoft Research · microsoft.com