Felice di condividere nuovi progressi nell'AI per la matematica @GoogleDeepMind . Nella combinatoria estremale, AlphaEvolve ha aiutato a stabilire nuovi limiti inferiori per CINQUE numeri di Ramsey classici - un problema così difficile che persino Erdős ha commentato sulla sua difficoltà. Storicamente, derivare computazionalmente questi limiti richiedeva algoritmi di ricerca su misura, progettati da esseri umani. Per molti di questi limiti, i migliori risultati precedenti risalgono ad almeno un decennio fa. AlphaEvolve cambia questo agendo come un singolo meta-algoritmo che scopre automaticamente le procedure di ricerca necessarie per trovare questi nuovi limiti. 📷