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

微软研究院张新智与合著者赵松发表论文，证明 1995 年提出的 KLS 猜想，给出与维度无关的固定界。此前 2026 年 7 月的最好结果仍允许界随维度缓慢增长。 据微软研究院介绍，证明过程由研究者主导智能体搜索，探索了 100 多条候选路径并逐轮人工筛选，最终借助递归改进与误差有界论证，在 2026 年 10 月 4 日版本中完成证明。同期另有独立团队给出完整证明，随后出现 Lean 4 形式化验证。 作者称已缩短证明并在 Lean 中验证了精简后的论证，计划在最终审阅后发布。

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

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