微软研究者证明31年未解的KLS猜想

微软研究院研究者 Xinzhi Zhang 与合作者证明了 1995 年提出的 KLS 猜想：在高维情形下，最优平面切与任意形状最优切之间的差距由固定常数界定，不随维度增长。完整证明在 2026 年 10 月 4 日的版本中完成；此前 7 月得到的最好结果只允许该差距随维度缓慢增长。 证明过程采用人类主导的智能体搜索，探索了约 100 条路径。同期另有独立团队给出完整证明，该证明已有 Lean 4 形式化验证。

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

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