Microsoft Research · Xinzhi Zhang · 12 天前精选模型评分81
微软研究院等证明 31 年悬而未决的 KLS 猜想
Solving a 31-year-old grand challenge in mathematics – the KLS conjecture
导读
微软研究院的 Xinzhi Zhang 与合著者 Zhao Song 证明了 1995 年提出的 Kannan-Lovász-Simonovits（KLS）猜想，证明对数凹分布的最佳平面切割与任意形状最佳切割只差一个与维度无关的固定常数。
推荐理由
这项证明把困扰高维几何三十余年的猜想变为无条件结论，也展示了研究者如何筛选并引导 人工智能（AI，Artificial Intelligence） 的搜索方向。
分类置信度
高
- 官方或准官方来源，且无冲突类别。
- 正文、可信日期、主分类和证据摘录完整。
来源级别：官方一手
应用领域：科学研究
事件类型：研究发布
证据摘录
- “Now, two researchers, including Xinzhi Zhang from the Machine Learning and Optimization group at Microsoft Research, have proved the KLS conjecture”
- “The authors have also shortened their proof and verified the streamlined argument in Lean; they plan to release both after final review.”
来源：Microsoft Research · microsoft.com