Grande semana para a IA sobre limites inferiores de Ramsey! Isso melhora R(3,13), R(4,13), R(4,14), R(4,15) em um cada. Gostaria de incluir algo sobre números de Ramsey clássicos no FrontierMath: Problemas Abertos, mas não tenho certeza de como torná-lo geral o suficiente para atender ao nosso padrão de interesse.