数学@GoogleDeepMind向けAIの新しい進展を喜んで共有します。 極値組合せ論において、AlphaEvolveは5つの古典的なラムジー数の新たな下限を確立するのに貢献しました。この問題は非常に難しく、エルデシュ自身もその難しさについてコメントしました。 歴史的に、これらの境界を計算的に導き出すには、人間が設計した特注の探索アルゴリズムが必要でした。これらの境界の多くにおいて、最良の過去の結果は少なくとも10年以上前のものです。AlphaEvolveは、これらの新しい境界を見つけるために必要な探索手順を自動的に発見する単一のメタアルゴリズムとして機能することでこれを変えます。📷