Feliz por compartilhar novos progressos em AI para Matemática @GoogleDeepMind . Na combinatória extremal, o AlphaEvolve ajudou a estabelecer novos limites inferiores para CINCO números de Ramsey clássicos - 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. O AlphaEvolve muda isso ao atuar como um único meta-algoritmo que descobre automaticamente os procedimentos de busca necessários para encontrar esses novos limites. 📷