Microsoft Research· Xinzhi Zhang·· 14 天前精选AI 评分85
微软研究院等证明KLS猜想，解决高维几何领域31年悬而未决的核心难题
Solving a 31-year-old grand challenge in mathematics – the KLS conjecture
AI 导读
微软研究院机器学习与优化组的Xinzhi Zhang与合作者证明了1995年提出的Kannan–Lovász–Simonovits（KLS）猜想，证明对数凹分布的最优平面切割与任意形状最优切割之差被一个与维度无关的通用常数界定。
推荐理由
作者亲述人类主导的智能体搜索如何证明悬置31年的KLS猜想，对照无引导尝试的失败，可作为人机协作科研方法的参照。
来源：Microsoft Research · microsoft.com