Microsoft Research 研究员结合 AI 解决 31 年数学难题 KLS 猜想

Microsoft Research 研究员与合作者证明了长达 31 年的 Kannan-Lovász-Simonovits (KLS) 猜想，确立了高维几何中关于对数凹分布的普适几何原理。该突破源于人机协作的研究过程，AI 系统探索了超过 100 种候选方法并协助推导，而研究人员负责评估、筛选和构建最终证明。独立研究团队已验证该成果，并发布了机器检查的形式化验证。