Microsoft Research· Xinzhi Zhang·· 19 天前精选AI 评分74
微软研究员用人类引导的 AI 流程证明 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）猜想，证明在高维对数凹分布下，最佳平面切割与任意形状最佳切割的差距可由一个与维度无关的常数界定。
推荐理由
读者可看到人机协作如何被拆成可复用的研究流程，以及独立证明与 Lean 形式化如何构成交叉验证。
来源：Microsoft Research · microsoft.com