赵松与微软张新智借助AI探索约百条路径证明KLS猜想
RecodeX 重构消息，赵松与微软的张新智证明了自1995年以来悬而未决的KLS猜想。研究过程中，AI智能体探索了约100条研究路径，再由人类进行筛选剪枝，而关键的递归思路由两位作者提出。
事件追踪 · 持续发展中
KLS猜想证明
持续追踪KLS猜想证明相关报道与进展。
关注仅保存在当前浏览器和域名中，无需登录，不会自动跨设备同步。事件时间线
按最新发布排序微软研究院与合作者证明31年历史的KLS猜想
RecodeX 重构消息，微软研究院的Xinzhi Zhang与Zhao Song证明1995年提出的Kannan–Lovász–Simonovits（KLS）猜想，结果表明对数凹分布的最优平面切割与任意形状切割之间的差距不随维度增长，并以普适常数为界。