标签：KLS猜想 共 1 条

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

微软研究院及其合作者结合全新数学思想与人主导的AI协作流程，证明了高维几何与概率领域的核心难题——1995年提出的KLS猜想，独立团队同日给出另一证明并完成Lean 4形式化验证，为统计、优化与理论计算机科学研究奠定更强基础。