Microsoft 研究员与合作者证明 1995 年提出的 Kannan-Lovász-Simonovits（KLS）猜想，形成 140 页证明。AI 智能体探索约 100 条研究路径、执行推导、辅助撰写手稿并运行内部证明检查，研究者负责筛选弱方向，递归方法和误差界归功于两位研究者。

该猜想描述随机游走者在凸体内不会被狭窄通道困住，可高效探索整个形状。