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

微软研究院的 Xinzhi Zhang 与合著者 Zhao Song 证明了 1995 年提出的 KLS 猜想，即该猜想中的常数界不随维度增长。研究采用人类主导的智能体搜索流程，探索了 100 多条候选路径，由研究者筛选和调整方向。 同期另有独立团队给出完整证明，并有 Lean 4 形式化验证。作者称已缩短证明并在 Lean 中验证精简论证，计划在最终审查后发布。该结果使此前依赖该猜想作为假设的结论可以无条件成立。

AI 根据报道生成 · 57 分钟前更新

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