¡Gran semana para la IA en los límites inferiores de Ramsey! Esto mejora R(3,13), R(4,13), R(4,14), R(4,15) en uno cada uno. Me encantaría incluir algo sobre los números de Ramsey clásicos en FrontierMath: Problemas Abiertos, pero no estoy seguro de cómo hacerlo lo suficientemente general para cumplir con nuestro estándar de interés.