Microsoft Research· Xinzhi Zhang·· 4 小时前精选AI 评分88
微软研究者证明 31 年数学难题 KLS 猜想
Solving a 31-year-old grand challenge in mathematics – the KLS conjecture
AI 导读
微软研究院研究员 Xinzhi Zhang 与合作者证明了高维几何中的 KLS 猜想（Kannan-Lovász-Simonovits conjecture），确立了与维度无关的几何原理。
推荐理由
研究用人类引导的智能体搜索证明 KLS 猜想，并演示了人类判断与 AI 能力的结合方式，可作为人机协作研究的参考。
来源：Microsoft Research · microsoft.com