Microsoft Research· Xinzhi Zhang·· 7 天前精选AI 评分86
微软研究者借助人工引导的智能体流程证明 31 年未解的 KLS 猜想
Solving a 31-year-old grand challenge in mathematics – the KLS conjecture
AI 导读
微软研究院的 Xinzhi Zhang 与合著者 Zhao Song 证明了 1995 年提出的 KLS 猜想，给出不随维度增长的固定常数界。此前 2026 年 7 月的最好结果仍允许该界随维度缓慢增大，新证明在 10 月 4 日版本中论证各阶段引入的误差累积后仍被通用常数约束。
推荐理由
证明过程展示了研究者如何用智能体并行探索上百条候选路径并逐轮人工筛选，可据此理解人机协作推进数学研究的具体方式。
来源：Microsoft Research · microsoft.com