Microsoft 研究者与协作方结合新数学思想与人类引导的 AI 解决 KLS 猜想

Microsoft 研究者与协作方证明 KLS 猜想，为高维几何和概率论建立普适几何原理，表明对数凹分布的最窄瓶颈可被平面切割以固定因子捕获。研究通过人类引导的智能体协作完成，AI 探索数学可能性，研究人员评估并优化搜索路径。该成果已获多位独立研究者验证，并完成机器形式化验证。