Matematik için yapay zeka alanında yeni ilerlemeleri paylaşmaktan mutluluk @GoogleDeepMind. Aşırı kombinatorikte ise AlphaEvolve, BEŞ klasik Ramsey sayısı için yeni alt sınırlar belirlemeye yardımcı oldu - bu o kadar zor bir sorun ki, Erdős bile zorluk hakkında yorum yaptı. Tarihsel olarak, bu sınırları hesaplamalı olarak türetmek için kişisel, insan tasarımı arama algoritmaları gerekiyordu. Bu sınırların çoğunda, en iyi önceki sonuçlar en az on yıl öncesine aittir. AlphaEvolve, bu yeni sınırları bulmak için gereken arama prosedürlerini otomatik olarak keşfeden tek bir meta-algoritma olarak bunu değiştirir. 📷