Zwei KI-Modelle sollen eine mathematische Software-Bibliothek modernisieren – zumeist erstaunlich erfolgreich – an einer Aufgabe scheiterten sie jedoch.