跳到正文
Microsoft Research· Xinzhi Zhang·· 6 天前精选AI 评分77

微软研究者与合作者证明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)猜想,表明对对数凹分布,最佳超平面切割与任意形状切割的差距不超过一个与维度无关的普适常数。

推荐理由

文章说明研究者如何用人类引导的智能体搜索探索上百条路径并完成证明,同时对比了同等预算下无引导尝试的失败,为如何组织人机协作科研提供了可迁移的参照。

这篇内容暂未取得可阅读的正文,目前提供中文导读和原文入口。节目介绍或原站公开片段不代表完整文章。

来源:Microsoft Research · microsoft.com

原文链接:https://www.microsoft.com/en-us/research/blog/solving-a-31-year-old-grand-challenge-in-mathematics-the-kls-conjecture/