微软研究院用人类引导的 AI 智能体证明 31 年未解的 KLS 猜想

微软研究院的 Xinzhi Zhang 与合著者 Zhao Song 证明了 1995 年提出的 Kannan-Lovász-Simonovits（KLS）猜想，证明高维对数凹分布中平面切割与任意形状切割的效果只差一个与维度无关的常数。

🔗 阅读原文

via 无言AIGC · https://aihot.wuyanshuo.cn/items/ibzm2r5wk3fqg5vom59rcwl1t