I numeri di Ramsey sono notoriamente difficili. È incredibile vedere AlphaEvolve migliorare i limiti per 5 numeri di Ramsey classici - alcuni per la prima volta in oltre 10 anni - scoprendo autonomamente procedure di ricerca. Un grande traguardo nell'AI per la matematica - congratulazioni al team!