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

微软研究院的 Xinzhi Zhang 与合著者 Zhao Song 证明了 1995 年提出的 KLS 猜想，给出与维度无关的固定上界；此前 2026 年 7 月的最好结果仍随维度缓慢增长。 两人还缩短了证明，并在 Lean 中验证了精简后的论证，计划在最终审阅后发布证明与验证结果。

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

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