Semana importante para a IA nos limites inferiores do Ramsey! Isso melhora R(3,13), R(4,13), R(4,14), R(4,15) em um cada. Adoraria incluir algo sobre os números clássicos de Ramsey em FrontierMath: Problemas Abertos, mas não sei como tornar isso geral o suficiente para atender ao nosso padrão de interesse.