Settimana importante per l'AI sui limiti inferiori di Ramsey! Questo migliora R(3,13), R(4,13), R(4,14), R(4,15) di uno ciascuno. Mi piacerebbe includere qualcosa sui numeri di Ramsey classici in FrontierMath: Open Problems, ma non sono sicuro di come renderlo abbastanza generale per soddisfare il nostro standard di interesse.