微软研究者证明31年悬而未决的KLS猜想

2026年10月22日，微软研究院机器学习与优化组的Xinzhi Zhang与合著者Zhao Song证明了1995年提出的Kannan-Lovász-Simonovits（KLS）猜想。据微软研究院一手报道，该证明表明这一关系在高维下由固定常数界定、不随维度增长。该猜想此前已悬而未决31年。目前报道未提及AI辅助证明的具体方式，也未披露证明细节与同行评审情况。

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

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