微软研究院团队解决31年数学难题——KLS猜想

微软研究员与合作者通过人类引导的AI系统，证明了KLS猜想，该猜想是高维几何与概率领域持续31年的核心问题。研究确立了一个与维度无关的几何原理，表明简单平面切割可捕捉对数凹分布的最窄瓶颈，误差总和被一个通用常数限制。独立研究团队已验证该成果，并发布Lean 4形式化证明，进一步确认其正确性。