Microsoft Research· Xinzhi Zhang·· 7 天前精选AI 评分66
微软研究员借助人类主导的 AI 解决 31 年未解的 KLS 猜想
Solving a 31-year-old grand challenge in mathematics – the KLS conjecture
AI 导读
微软研究员与合作者结合新的数学思路与人类主导的 AI，解决了高维几何与概率中的核心难题 Kannan-Lovász-Simonovits（KLS）猜想，该问题已悬而未决 31 年。
推荐理由
这是 AI 辅助解决长期公认核心数学难题的一手案例，且明确了人类主导的协作方式。
来源：Microsoft Research · microsoft.com