Feliz em compartilhar novos progressos em IA para Matemática @GoogleDeepMind. Na combinatória extremal, o AlphaEvolve ajudou a estabelecer novos limites inferiores para CINCO números clássicos de Ramsey – um problema tão desafiador que até Erdős comentou sobre sua dificuldade. Historicamente, derivar computacionalmente esses limites exigia algoritmos de busca personalizados, projetados por humanos. Para muitos desses limites, os melhores resultados anteriores têm pelo menos uma década de idade. O AlphaEvolve muda isso ao agir como um único meta-algoritmo que descobre automaticamente os procedimentos de busca necessários para encontrar esses novos limites. 📷