Microsoft Research· Xinzhi Zhang·· 2 小时前精选AI 评分71
微软研究院等证明 31 年未解的 KLS 猜想
Solving a 31-year-old grand challenge in mathematics – the KLS conjecture
AI 导读
微软研究院的 Xinzhi Zhang 与合著者 Zhao Song 证明了 1995 年提出的 KLS 猜想，证明结果与维度无关，并已通过 Lean 4 形式化验证。
推荐理由
这项证明由人类研究者主导、AI 智能体并行探索约一百条路径，为理解人机协作做数学研究提供了具体案例。
来源：Microsoft Research · microsoft.com