L'Agente AI AlphaEvolve Avanza la Ricerca sui Numeri di Ramsey con Nove Limiti Inferiori Migliorati

Un nuovo preprint su arXiv evidenzia limiti inferiori computazionali migliorati per nove numeri di Ramsey tradizionali nella matematica combinatoria. I ricercatori hanno utilizzato AlphaEvolve, uno strumento di mutazione del codice alimentato da un modello linguistico di grandi dimensioni, per compiere progressi significativi: hanno aggiornato R(3,13) da 60 a 61, R(3,18) da 99 a 100, R(4,13) da 138 a 139, R(4,14) da 147 a 148, R(4,15) da 158 a 159, R(4,16) da 170 a 174, R(4,18) da 205 a 209, R(4,19) da 213 a 219 e R(4,20) da 234 a 237. Inoltre, AlphaEvolve ha trovato limiti inferiori per tutti i numeri di Ramsey esatti e ha eguagliato i principali limiti inferiori in altri scenari. L'articolo è archiviato come arXiv:2603.09172v5 e illustra come i modelli linguistici di grandi dimensioni possano far avanzare la ricerca matematica attraverso la codifica automatizzata.