谷歌AI破解外星人难题新智元

就在刚刚，谷歌DeepMind又出神功了。他们开发的系统AlphaEvolve，在极值组合学问题上取得突破，一次性改进了五个经典拉姆齐数的下界！

论文地址：https://arxiv.org/pdf/2603.09172

更令人惊讶的是，这并不是通过人工设计五套不同算法实现，而是通过一个统一的「元算法」（meta-algorithm）来完成的。

推导这些搜索算法的难度极大，最佳结果至少是十年前了。而这次，DeepMind让大模型自主写算法，直接踏平了尘封十年的数学记录！

DeepMind研究者报喜后，CEO Hassabis也火速转发庆贺。他表示，AlphaEvolve的这项成果，是AI在数学领域的又一个重大里程碑！

连图灵奖得主LeCun，都主动祝贺了团队。

拉姆齐数问题究竟难到了什么程度？可以说，它让最伟大的数学家，都感到绝望。

著名数学家、陶哲轩的导师保罗·埃尔德什（Paul Erdős）曾说，如果外星人威胁地球：必须在规定时间内算出R(5,5)这个拉姆齐数，否则就毁灭人类，那么人类最理性的选择，可能就是投降。

几十年来，拉姆齐数一直是组合数学中最顽固的难题之一。数学家想要在某一个具体的拉姆齐数上取得进展，通常都必须从零设计一套专门的搜索算法。

但现在，AlphaEvolve把五个全破了！

而这，还只是AlphaEvolve能力的冰山一角。

此前，它就已经打破了尘封56年的矩阵乘法纪录，优化了谷歌数据中心调度，并在AI芯片设计中发现了人类工程师未曾注意到的结构简化方案。

当一个能够自动发现算法的系统，同时还能优化训练自己的计算基础设施时，我们毫无疑问正在见证一个全新物种的诞生。

外星人来了都算不出的数

大约一百年前，英国逻辑学家弗兰克·拉姆齐证明了这样一个结论。

在一个六人小组中，无论这六个人之间的关系如何，总能找到三个互相认识的人，或者三个互不认识的人。

这个简单直观的例子是拉姆齐理论的最早原型。

在图论中，R(r,s)定义为最小整数n，使得任何包含n个顶点的无向图必然满足以下至少一种情况：

存在r个顶点的完全子图（clique）或存在s个顶点的独立集（independent set）比如，R(3,3) = 6。

这样就意味着，任意6个顶点的图，必然包含一个三角形，或三个互不相连的点。

现在，对于一些小规模参数，比如(3,s) s ≤ 9，(4,s) s = 4,5，这些拉姆齐数已经被精确求出。

但对于大量参数，仍然存在巨大的上下界差距。

如何得到下界呢？

如果我们能构造一个图，顶点数为n，不包含r-clique，不包含s-independent set，那么就说明：R(r,s) ≥ n + 1。