微软研究院与合作者借助人机协同证明 31 年未解的 KLS 数学猜想

微软研究院研究员 Xinzhi Zhang 与合作者证明了高维几何与概率论中长达 31 年的 KLS 猜想，确立了与维度无关的几何常数界限。该突破基于人类主导的智能体协作研究流程，通过探索百余种推导路径并人工迭代剪枝得出核心判据。该成果在发布当日得到了其他研究组的独立证明呼应，并已通过 Lean 4 完成形式化验证。