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 猜想的完整思路与人类引导 AI 智能体搜索的过程，读者可以了解人机协作做数学研究的方法细节。
来源：Microsoft Research · microsoft.com