Microsoft Research 与合作者证明 KLS 猜想，建立与维度无关的固定界

Microsoft Research 与合作者证明了 1995 年提出的 KLS 猜想，建立了对数凹分布切割效率与维度无关的固定界。研究人员在人类主导的智能体研究流程中探索了 100 多条候选路径，由人工筛选方向并组织最终证明。另有研究团队同期给出独立证明，相关关键结果还完成了 Lean 4 形式化验证。