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

微软研究院的 Xinzhi Zhang 与合著者 Zhao Song 证明了 1995 年提出的 KLS 猜想，给出与维度无关的固定界，解决了高维几何与概率论中的核心开放问题。 证明过程采用人类引导的智能体搜索，探索了约 100 条研究路径，由研究者筛选方向并验证结论。作者称，此前用多个前沿模型做无引导的端到端尝试未能达成目标。同期另有独立团队给出完整证明，并出现 Lean 4 形式化验证。 作者还缩短了证明，并在 Lean 中验证了精简后的论证；他们计划在最终审阅后发布证明与验证结果。

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

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