消息推送微软解决数学领域一项长达 31 年的重大挑战——KLS 猜想11小时前微软解决数学领域一项长达 31 年的重大挑战——KLS 猜想🌐 链接: https://linux.do/t/topic/3060970🏷️ 分组: LinuxDo论坛🕒 时间: 2026-10-22 23:15:37 LINUX DO 微软解决数学领域一项长达 31 年的重大挑战——KLS 猜想 研究人员解决了 Kannan-Lovász-Simonovits (KLS) 猜想,这是一个存在了 31 年的问题,被广泛认为是高维几何学中的核心未解问题之一,对统计学、优化、算法和计算机科学都有着深远的影响。 该结果为对数凹分布建立了一个普遍的几何原理,表明简单的平坦切割可以在固定因子内捕获其最窄的瓶颈,而与维度无关。 这一突破源于人类主导的智能体研究过程,其中人工智能系统探索数学可能性,而研究人员则评估、筛选和重新定向搜索。 多位独立研究人员验证了这项研究,认为其核心标准是关键突破,随后进行了机器检查的形式化验证。… 11小时前