Heureux de partager de nouveaux progrès en IA pour les mathématiques @GoogleDeepMind . En combinatoire extrême, AlphaEvolve a aidé à établir de nouvelles bornes inférieures pour CINQ nombres de Ramsey classiques - un problème si difficile qu'Erdős lui-même a commenté sa difficulté. Historiquement, dériver ces bornes de manière computationnelle nécessitait des algorithmes de recherche sur mesure, conçus par des humains. Pour beaucoup de ces bornes, les meilleurs résultats précédents datent d'au moins une décennie. AlphaEvolve change cela en agissant comme un seul méta-algorithme qui découvre automatiquement les procédures de recherche nécessaires pour trouver ces nouvelles bornes. 📷