RecodeX 重构消息，赵松与微软的张新智证明了自1995年以来悬而未决的KLS猜想。研究过程中，AI智能体探索了约100条研究路径，再由人类进行筛选剪枝，而关键的递归思路由两位作者提出。