微软研究院与合作者利用人机协同 AI 证明高维几何重大数学难题 KLS 猜想

微软研究院与合作者通过人类主导的 AI 智能体协作研究流程，成功证明了提出 31 年的高维几何与概率论重大难题 KLS 猜想。研究人员指挥多个 AI 智能体并行探索 100 多条数学推导路径，在人类筛选与引导下建立新的递归判定准则，证明了该几何边界不随维度增长，消除了高维采样与随机算法效率的核心理论障碍。