谷歌AlphaEvolve攻克5个Ramsey数难题：数学家几十年逐个手搜的结果，AI用一套方法全部覆盖并刷新

据 1M AI News 监测，Google DeepMind 用其 AI 编程智能体 AlphaEvolve 一次性改进了 5 个 Ramsey 数的已知最优结果。Ramsey 数是组合数学中出了名的「算不动」的问题，数学家 Erdős 有句名言：如果外星人威胁一年内算出 R(5,5) 否则毁灭地球，我们应该全力去算；但如果他们要求算 R(6,6)，我们应该去攻击外星人。

过去几十年，每推进一个 Ramsey 数的下界，都需要数学家为它专门设计一套搜索算法，而且很多旧结果连当初用什么方法都没留下记录。AlphaEvolve 的突破在于方法论层面：它是一个统一的「元算法」，让 AI 自动写搜索代码、自动进化搜索策略，一套方法覆盖了此前需要几十种定制算法才能分别攻下的结果，并在其中 5 个上超越了人类最佳纪录。这是该团队第二次用 AlphaEvolve 攻克理论数学难题，去年 9 月他们用同一方法改进了旅行商问题的不可近似性结果。