微软研究员借助人机协作证明KLS猜想

微软研究院研究员 Xinzhi Zhang 与合作者成功证明了提出于1995年的 Kannan-Lovász-Simonovits (KLS) 猜想，解决了这一悬置31年的数学难题。 该突破源于一种人类引导的 AI 智能体研究流程。在此过程中，AI系统负责探索数学可能性，而研究人员则对结果进行评估、剪枝并重新引导搜索方向，实现了人机在复杂推理任务中的有效分工与协作。

AI 根据报道生成 · 43 分钟前更新

还没有足够的连续观测数据，暂不绘制趋势。