研究者证明悬置31年的KLS猜想
热点事件历史事件
研究者证明悬置31年的KLS猜想
1 篇报道1 个报道来源3 天前更新
先了解这件事
AI 综述
微软研究院研究员 Xinzhi Zhang 与合著者 Zhao Song 证明了 1995 年提出的 KLS 猜想。该猜想断言：对一大类高维概率分布，最佳平面切割与任意形状最佳切割的差距不超过一个与维度无关的固定常数；此次证明确认了这一结论。 作者称已缩短证明，并用 Lean 验证了精简后的论证，计划在最终审阅后公开证明与验证结果。
AI 根据报道生成 · 1 天前更新
最新进展10月22日 00:00
微软研究院等证明悬置31年的KLS猜想报道时间线
沿着报道，了解事件的不同侧面。
10月22日
- Microsoft Research精选微软研究院等证明悬置31年的KLS猜想
微软研究院研究员 Xinzhi Zhang 与合著者 Zhao Song 证明了1995年提出的 KLS 猜想，确认对一大类高维概率分布，最佳平面切割与任意形状最佳切割的差距不超过一个与维度无关的固定常数。