Microsoft Research· Xinzhi Zhang·· 2 小时前精选AI 评分60
微软研究院等证明 31 年悬而未决的 KLS 猜想
Solving a 31-year-old grand challenge in mathematics – the KLS conjecture
AI 导读
微软研究院的张新智（Xinzhi Zhang）与合著者赵松（Zhao Song）等人证明了 1995 年提出、困扰数学界 31 年的 Kannan-Lovász-Simonovits（KLS）猜想，给出与维度无关的固定界。
推荐理由
证明过程同时展示了由研究者主导的智能体式搜索如何推进一项目标明确的基础数学研究。
来源：Microsoft Research · microsoft.com