微软研究员与合作者借助AI证明KLS猜想

微软研究院研究员 Xinzhi Zhang 与合作者结合人类引导的 AI 智能体探索流程，完整证明了已有 31 年历史的高维几何难题 KLS 猜想。该工作确立了对数凹分布的无量纲几何原理，证明了扁平切割在常数范围内即可捕捉最窄瓶颈且上界不随维度增加而增长。 该突破已获得多个独立研究团队的并行证明支持。研究团队同时精简了证明过程并在 Lean 4 中完成形式化验证，计划在完成最终评审后公开发布。

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

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