一个比谷歌还要古老的数学难题被解决了，其中大部分搜索工作由人工智能完成。

在人工智能代理探索了100多种方法之后，微软研究人员证明了这个拥有31年历史的数学猜想（Kannan-Lovász-Simonovits 猜想）。

凭借一份140页的证明和100多条经人工智能探索的路径，数学家们自1995年以来一直致力于研究的问题如今终于画上了句号。

在人类指导下的搜索中，人工智能代理探索了大约100条研究轨迹，而研究人员则在轮次之间剪除薄弱的方向，最终生成了支撑宋（Song）和张（Zhang）证明 Kannan-Lovász-Simonovits (KLS) 猜想的标准。

人工智能探索了候选方法、执行了推导、协助准备了手稿并运行了内部证明检查，而完成该证明的递归方法和误差界限则归功于这两位研究人员。

关于 Kannan-Lovász-Simonovits 猜想：想象一个随机漫步者在一个凸形区域内游荡：该猜想表明，没有任何秘密的狭窄通道可以困住它，因此它可以高效地探索整个形状，即使在巨大的维度中也是如此。