Nouvel agent IA évolue des algorithmes pour les mathématiques et les applications pratiques en informatique en combinant la créativité des grands modèles de langage avec des évaluateurs automatisés