Microsoft Research· Xinzhi Zhang·· 3 小时前精选AI 评分64
微软研究院等证明 31 年未解的 KLS 猜想
Solving a 31-year-old grand challenge in mathematics – the KLS conjecture
AI 导读
微软研究院 Xinzhi Zhang 与合著者证明了 1995 年提出的 Kannan-Lovász-Simonovits（KLS）猜想，证明该猜想中的界与维度无关，并保持为一个固定常数。
推荐理由
这项证明来自研究者主导、AI 智能体并行探索并人工筛选的过程，可看到人机协作在数学发现中的具体分工。
来源：Microsoft Research · microsoft.com