Microsoft Research· Xinzhi Zhang·· 2 小时前精选AI 评分74
微软研究院等证明 31 年未解的 KLS 猜想
Solving a 31-year-old grand challenge in mathematics – the KLS conjecture
AI 导读
微软研究院 Xinzhi Zhang 与合著者 Zhao Song 证明 1995 年提出的 Kannan-Lovász-Simonovits（KLS）猜想，证明于 2026 年 10 月 4 日版本完成，把维度依赖彻底消除。
推荐理由
微软研究员与合著者用人类主导的智能体搜索证明 KLS 猜想，可看人机协作如何推进数学证明。
来源：Microsoft Research · microsoft.com