很高興能分享 @GoogleDeepMind 在數學領域的 AI 新進展。 在極端組合數學中，AlphaEvolve 幫助確立了五個經典拉姆齊數的新的下界——這是一個如此具有挑戰性的問題，甚至 Erdős 也對其難度表示過評論。 歷史上，計算得出這些下界需要定制的人類設計搜索算法。對於這些下界中的許多，最佳的先前結果至少已有十年之久。AlphaEvolve 通過作為一個單一的元算法，改變了這一點，自動發現找到這些新下界所需的搜索程序。📷