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

微软研究院的 Xinzhi Zhang 与合著者 Zhao Song 证明了 1995 年提出的 KLS 猜想，结果与维度无关。 两人还缩短了证明，并用 Lean 4 对精简后的论证做了形式化验证；他们计划在最终审阅后公开证明与验证结果。

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

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