Microsoft Research· Xinzhi Zhang·· 2 小时前精选AI 评分65
Microsoft Research researchers 证明提出于 1995 年的 KLS 猜想
Solving a 31-year-old grand challenge in mathematics – the KLS conjecture
AI 导读
Microsoft Research 的 Xinzhi Zhang 与合作者证明了提出于 1995 年的 KLS 猜想，确立了与维度无关的固定界限，说明简单平面切割对数凹分布最窄瓶颈的效率仅在常数因子内落后于任意形状的最优切割。
推荐理由
文章拆解了研究者如何用人类筛选和递归推进引导 AI 探索候选证明，并区分了关键数学突破与工具辅助环节。
来源：Microsoft Research · microsoft.com