Ramseyho čísla jsou notoricky tvrdá. Je úžasné vidět, jak AlphaEvolve zlepšil hranice pro 5 klasických Ramseyho čísel – některá poprvé za 10+ let – tím, že sám objevil vyhledávací postupy. Velký milník v AI v matematice – gratuluji týmu!