微软研究员借助人类主导的 AI 探索证明 31 年 KLS 猜想

微软研究院研究员 Xinzhi Zhang 与合作者完成 1995 年提出的 Kannan-Lovász-Simonovits（KLS）猜想证明，共 140 页。研究结合新数学思想与人类主导的 AI，由 AI 智能体探索上百条候选思路，微软官方博客进一步详解了协作过程。