Cieszę się, że mogę podzielić się nowymi postępami w AI dla matematyki @GoogleDeepMind . W ekstremalnej kombinatoryce, AlphaEvolve pomogło ustalić nowe dolne granice dla PIĘCIU klasycznych liczb Ramseya - problemu tak trudnego, że nawet Erdős skomentował jego trudność. Historycznie, obliczeniowe wyznaczanie tych granic wymagało dostosowanych, zaprojektowanych przez ludzi algorytmów wyszukiwania. Dla wielu z tych granic, najlepsze wcześniejsze wyniki mają co najmniej dekadę. AlphaEvolve zmienia to, działając jako jeden meta-algorytm, który automatycznie odkrywa procedury wyszukiwania potrzebne do znalezienia tych nowych granic. 📷