微软研究员与合作者人机协同证明KLS猜想

微软研究院研究员 Xinzhi Zhang 与合作者借助人机协同方法，证明了高维几何与概率论领域存在 31 年的 KLS 猜想（Kannan–Lovász–Simonovits 猜想），确立了与维度无关的几何常数界限。 该研究由人类研究员主导，AI 系统负责探索推导路径，研究人员进行评估、剪枝并调整方向。作者已精简了证明过程并通过 Lean 4 完成形式化验证，计划在最终审核后发布；发布当日该成果也得到了其他研究组的独立证明呼应。

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

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