微软研究员与合作者证明31年KLS猜想

微软研究院的 Xinzhi Zhang 与 Zhao Song 证明了 1995 年提出的 KLS 猜想：对数凹分布的最优平面切割与任意形状切割之差以普适常数为界，不随维度增长。 据 AIHOT 聚合报道，该证明源自人类引导的多智能体迭代剪枝过程，从约百条研究路径中筛出关键判据；另有独立团队同日发布完整证明。 作者还缩短了证明并在 Lean 4 中完成形式化验证，计划在最终审查后发布原证明与精简版。

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

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