跳到正文
热点事件持续更新

微软研究员证明31年前KLS猜想

2 篇报道2 个报道来源2 小时前更新

先了解这件事

AI 综述

Microsoft Research 的 Xinzhi Zhang 与合作者 Zhao Song 证明了 1995 年提出的 Kannan-Lovász-Simonovits(KLS)猜想,论文于 2026 年 10 月 4 日的版本完成证明。据 Microsoft Research 博客称,该结果表明用平面切口逼近任意形状时,效率与最优切口相差不超过一个与维度无关的通用常数,从而消除了对维度的依赖。 Microsoft Research 在社交平台称,这项研究消除了理解科学与计算领域广泛使用的随机算法效率的一大障碍。

AI 根据报道生成 · 2 小时前更新

最新进展10月22日 00:11
微软研究破解高维计算KLS猜想

报道时间线

沿着报道,了解事件的不同侧面。

10月22日
  1. Microsoft Research
    微软研究破解高维计算KLS猜想

    数十年来,关于高维计算难题的一个关键问题始终无法被证明。新研究解决了KLS猜想,消除了理解科学和计算领域广泛使用的随机算法效率的一大障碍。 https://msft.it/6011aar01

  2. Microsoft Research 博客精选
    Microsoft Research 证明 31 年前的 KLS 猜想

    Microsoft Research 的 Xinzhi Zhang 与合作者 Zhao Song 证明了 1995 年提出的 Kannan-Lovász-Simonovits(KLS)猜想,表明平面切口的效率与任意形状最优切口相差不超过一个与维度无关的通用常数。

本事件热度走势

还没有足够的连续观测数据,暂不绘制趋势。