Grande semaine pour l'IA sur les bornes inférieures de Ramsey ! Cela améliore R(3,13), R(4,13), R(4,14), R(4,15) d'un point chacun. J'aimerais inclure quelque chose sur les nombres de Ramsey classiques dans FrontierMath : Problèmes ouverts, mais je ne suis pas sûr de la manière de le rendre suffisamment général pour répondre à notre critère d'intérêt.