很高兴分享 @GoogleDeepMind 在数学领域的 AI 新进展。 在极端组合学中，AlphaEvolve 帮助确立了五个经典拉姆齐数的新下界——这是一个如此具有挑战性的问题，连厄尔德什都对此表示过困难。 历史上，计算得出这些下界需要定制的人类设计搜索算法。对于许多这些下界，之前的最佳结果至少已有十年历史。AlphaEvolve 通过充当一个单一的元算法，自动发现寻找这些新下界所需的搜索程序，从而改变了这一现状。📷