研究者证明KLS猜想

1. 00:00
   Microsoft Research精选

   微软研究员证明 31 年悬而未决的 KLS 猜想

   微软研究院研究员与合作者证明了 Kannan-Lovász-Simonovits（KLS）猜想，为高维几何与概率论中的核心问题提供了维度无关的通用几何原理。该成果通过人类指导的智能体研究流程完成，并已获得多个独立证明和 Lean 4 形式化验证。

趋势仅比较持续完整观测到的相同主体，范围可能小于当前热度统计。移动指针或点击图表查看每小时热度；键盘可用左右方向键切换。