Microsoft Research 研究人员解决31年历史的 KLS 猜想

Microsoft Research 研究人员与合作者解决了1995年提出的 Kannan–Lovász–Simonovits（KLS）猜想，证明其界限可保持为与维度无关的固定值。研究团队通过递归改进让误差总和保持有界，并使用人类主导的 Agent 搜索探索了约100条研究路径。该成果随后获得平行独立证明和 Lean 4 形式化验证的支持。