微软研究院证明KLS猜想

2026年10月22日，微软研究院在X平台发布消息称，其研究解决了KLS猜想，即关于高维计算的一个关键问题。该问题数十年来一直未能被证明，此次解决消除了理解科学与计算领域广泛使用的随机算法效率的一大障碍。同日，微软研究院进一步发布信息称，其研究人员Xinzhi Zhang与Zhao Song合作证明了1995年提出的Kannan-Lovász-Simonovits（KLS）猜想，表明平面割与任意形状最优割的差距由一个与维度无关的通用常数界定。目前公开信息来自微软研究院的发布，未披露证明的具体方法或同行评议情况，事件仍在发展中。

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

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