Senang berbagi kemajuan baru dalam AI untuk Matematika @GoogleDeepMind . Dalam kombinatorika ekstrem, AlphaEvolve telah membantu menetapkan batas bawah baru untuk LIMA nomor Ramsey klasik - masalah yang sangat menantang sehingga bahkan Erdős mengomentari kesulitannya. Secara historis, secara komputasi memperoleh batas-batas ini membutuhkan algoritma pencarian yang dirancang manusia yang dipesan lebih dahulu. Untuk banyak batas ini, hasil terbaik sebelumnya setidaknya berusia satu dekade. AlphaEvolve mengubah ini dengan bertindak sebagai meta-algoritme tunggal yang secara otomatis menemukan prosedur pencarian yang diperlukan untuk menemukan batas-batas baru ini. 📷