Microsoft Research· Xinzhi Zhang·· 3 小时前精选AI 评分76
微软研究院等证明 31 年未解的 KLS 猜想
Solving a 31-year-old grand challenge in mathematics – the KLS conjecture
AI 导读
微软研究院的 Xinzhi Zhang 与合著者 Zhao Song 证明了几何与概率领域的 KLS 猜想，该猜想自 1995 年提出，此前最好的结果仍允许界随维度缓慢增长。
推荐理由
读者可以看到研究者如何用智能体并行探索上百条路径并人工筛选，最终完成 KLS 猜想证明。
来源：Microsoft Research · microsoft.com