微软研究员借人机协作证明KLS猜想

2026年10月22日，Microsoft Research 宣布其研究人员 Xinzhi Zhang 与 Zhao Song 证明了 Kannan-Lovász-Simonovits（KLS）猜想。该猜想于1995年提出，内容是：对数凸分布而言，最平坦的超平面切口与任意形状最优切口之差被一个与维度无关的通用常数界定。这一难题历时31年悬而未决，此次证明由人类引导的 AI 协作方式完成。目前除 Microsoft Research 的官方发布外，尚无其他来源的后续报道，证明的细节、同行评审情况及学术界的进一步反应暂未披露。

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

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