¡Semana importante 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 una cada uno. Me encantaría incluir algo sobre los números clásicos de Ramsey en FrontierMath: Problemas Abiertos, pero no sé cómo hacerlo lo suficientemente general para cumplir con nuestro nivel de interés.