Microsoft Research· Xinzhi Zhang·· 3 小时前精选AI 评分67
微软研究院等证明 31 年未解的 KLS 猜想
Solving a 31-year-old grand challenge in mathematics – the KLS conjecture
AI 导读
微软研究院的 Xinzhi Zhang 与合著者 Zhao Song 证明了 1995 年提出的 KLS 猜想，即对一大类高维概率分布，最佳超平面切割与任意形状最佳切割的效果相差不超过一个与维度无关的常数。
推荐理由
这项证明由研究者主导、AI 智能体辅助搜索完成，读者可从中看到人机协作推进数学证明的具体分工方式。
来源：Microsoft Research · microsoft.com