谷歌 AI 干了件大事！破解难住数学家几十年的拉姆齐数

爱狮子

谷歌 AI 干了件大事！破解难住数学家几十年的拉姆齐数#How I AI#


谷歌 DeepMind 的 AlphaEvolve 直接刷新 5 个经典拉姆齐数的下界，打破了最久尘封 20 年的数学纪录，这可是连顶级数学家都头疼的难题[柯基]

这次更新的数看着就加了 1，实则难上天：R (3,13) 从 60 到 61、R (3,18) 从 99 到 100、R (4,13) 从 138 到 139、R (4,14) 从 147 到 148、R (4,15) 从 158 到 159。拉姆齐数为啥难？简单说就是找特定规律的图形，比如 R (5,5) 的搜索可能有 10^271 种，暴力算比宇宙年龄还久，人类以前研究一个数，就得专家手工设计一套专属算法。

但 AlphaEvolve 直接颠覆了传统。它不用人设计算法，而是自己 “写代码造算法”：靠大模型变异优化，在算法空间里找最优策略，还自动造出 4 类专属方法，甚至想出了人类文献里都没有的技巧，比如记成功经验的 “和声记忆”、跳出死局的 “有毒轨道隧穿”。

它比人类专家的算法还厉害，会选高起点、组合多种方法、还能提速降成本，除了这次的 5 个纪录，还精准匹配了 28 个拉姆齐数的已知最佳结果。它之前就打破过 56 年的矩阵乘法纪录，还优化了谷歌数据中心、简化了 AI 芯片设计，形成了自己越变越强的闭环。

短板就是目前只能算拉姆齐数的 “下界”，还搞不定上界的证明，但这已经是大突破了

论文链接：http://t.cn/AXVgjpNO