谷歌AlphaEvolve刷新5个经典拉姆齐数下界：AI自主写搜索算法

2026年6月10日前后，Google DeepMind公布AlphaEvolve在拉姆齐数（Ramsey Number）研究上的新突破，引发数学与AI交叉领域关注。

成果概览

系统自动演化搜索算法，一次性改进5个经典R(r,s)下界，例如R(3,18)从99提升至100（此前纪录保持20年）、R(3,13)从60提升至61等，并覆盖28个拉姆齐值的下界匹配或改进。

方法论

AlphaEvolve让大模型在进化框架中编写、测试并迭代算法，而非仅给出静态证明。不同问题演化出的算法风格迥异，显示自动化数学探索的可扩展性。

对软件行业的启示

当AI从「解题」迈向「发明算法规则」，科学计算、优化求解与形式化验证工具链将迎来新供应商机会，也要求科研人员重新思考人机协作的研究流程。