微软研究员与合作者解决 31 年数学难题 KLS 猜想

微软研究员与合作者解决了 31 年悬而未决的 KLS 猜想，证明最优平面切割与任意形状切割的差距由一个与维数无关的通用常数界定。此前 2026 年 7 月的最优结果允许该界随维数缓慢增长；新证明通过研究者主导的智能体搜索探索了 100 余条候选路径，并借助递归细化消除维度依赖。同日另有两组独立证明发布，Lean 4 形式化验证也已放出，为该结果提供了独立确认。