微软研究者用人类引导的 AI 智能体证明 31 年悬而未决的 KLS 猜想

微软研究院张新志等研究者证明了 1995 年提出的 KLS 猜想，确立了对数凹分布的一个与维度无关的普适几何原理。研究采用人类主导的智能体式流程，AI 探索了 100 多种候选路径，最终通过递归改进使误差上界收敛为普适常数。另有两个独立团队同日给出完整证明，Lean 4 形式化验证也已发布。