Microsoft Research· Xinzhi Zhang·· 3 小时前精选AI 评分70
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