微软研究员证明KLS猜想

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

AI 根据报道生成 · 58 分钟前更新

还没有足够的连续观测数据，暂不绘制趋势。