Neuer KI-Agent entwickelt Algorithmen für Mathematik und praktische Anwendungen in der Informatik, indem er die Kreativität großer Sprachmodelle mit automatisierten Bewertern kombiniert.