Microsoft Research· Xinzhi Zhang·· 22 天前精选AI 评分68
微软研究院等证明 KLS 猜想，用 AI 智能体辅助探索 100 多条路径
Solving a 31-year-old grand challenge in mathematics – the KLS conjecture
AI 导读
微软研究院研究员张新智与合著者证明了一个存在 31 年的数学难题，即高维几何中的 Kannan-Lovász-Simonovits（KLS）猜想，证明它时所用的固定界不随维数增长。
推荐理由
这篇论文证明了一个存在 31 年的数学猜想，其中人机协作探索的路径可以作为参考。
来源：Microsoft Research · microsoft.com