Microsoft Research· Xinzhi Zhang·· 2 小时前精选AI 评分85
微软研究院 Xinzhi Zhang 等人证明 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）猜想，证明对数凹分布的最佳超平面切割与任意形状最佳切割之差可由一个与维度无关的通用常数界定。
推荐理由
读者可以看到人类研究者如何筛选并引导 AI 智能体探索上百条路径，最终完成一项长期悬而未决的数学证明。
来源：Microsoft Research · microsoft.com