Microsoft Research· Xinzhi Zhang·· 22 天前精选AI 评分77
Microsoft Research 证明 31 年悬而未决的 KLS 猜想
Solving a 31-year-old grand challenge in mathematics – the KLS conjecture
AI 导读
Microsoft Research 的 Xinzhi Zhang 与合作者 Zhao Song 证明 1995 年提出的 Kannan–Lovász–Simonovits（KLS）猜想，表明平面切割与任意形状切割的效率差异由通用常数界定，与维度无关。
推荐理由
研究者亲述如何用人工引导的智能体搜索与递归精化证明 KLS 猜想，展示了人机协作研究过程的可借鉴做法。
来源：Microsoft Research · microsoft.com