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

微软研究院机器学习与优化组的张新志（Xinzhi Zhang）及合作者已证明1995年提出的KLS猜想，在2026年10月4日的论文版本中消除了对维度的依赖，完成证明。该猜想断言对数凹分布存在与维度无关的普适几何原理。 研究采用人类主导的智能体式流程：AI探索了100多种候选路径，经递归改进使误差上界收敛为普适常数。作者还缩短了证明，并用Lean验证了精简论证，计划在最终审阅后发布。 另有两个独立团队同日给出完整证明，Lean 4形式化验证也已发布。

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

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