Microsoft Research· Xinzhi Zhang·· 23 天前AI 评分52
微软研究团队解决31年数学难题KLS猜想
Solving a 31-year-old grand challenge in mathematics – the KLS conjecture
AI 导读
微软研究院研究员Xinzhi Zhang与合作者证明了Kannan-Lovász-Simonovits (KLS) 猜想，这是一个在高维几何和概率论中悬而未决31年的核心问题。研究采用人类指导的AI智能体流程，探索了超过100种候选方法，最终确立了与维度无关的通用几何原则。该成果已获独立研究者验证及Lean 4形式化确认，为高维采样和随机算法效率理论奠定了更坚实的基础。
来源：Microsoft Research · microsoft.com