windsing 在 微软解决数学领域一项长达 31 年的重大挑战——KLS 猜想 中发帖

研究人员解决了 Kannan-Lovász-Simonovits (KLS) 猜想,这是一个存在了 31 年的问题,被广泛认为是高维几何学中的核心未解问题之一,对统计学、优化、算法和计算机科学都有着深远的影响。 
该结果为对数凹分布建立了一个普遍的几何原理,表明简单的平坦切割可以在固定因子内捕获其最窄的瓶颈,而与维度无关。
这一突破源于人类主导的智能体研究过程,其中人工智能系统探索数学可能性,而研究人员则评估、筛选和重新定向搜索。
多位独立研究人员验证了这项研究,认为其核心标准是关键突破,随后进行了机器检查的形式化验证。
完整版:https://www.microsoft.com/en-us/research/blog/solving-a-31-year-old-grand-challenge-in-mathematics-the-kls-conjecture/

KLS猜想通俗理...