Microsoft Research· Xinzhi Zhang·· 21 天前精选AI 评分75
微软研究院等证明 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 猜想，读者可了解人机协作推进数学证明的具体流程。
来源：Microsoft Research · microsoft.com