GPT-5.6 Sol Ultra, Openais neueste Frontier-Variante, hat eines der ältesten ungelösten Mathematik-Probleme – die Cycle Double Cover Conjecture aus den 1970ern – in unter einer Stunde bewiesen. Das System nutzte dafür 64 parallel arbeitende Sub-Agenten für eine koordinierte Problemlösung. Der bekannte Mathematiker Thomas Bloom bescheinigt dem Beweis Eleganz und Originalität, warnt aber vor unklar zitierten Vorarbeiten. Die zentrale Frage bleibt offen: Kombiniert die KI nur bekanntes Wissen geschickt, oder vollbringt sie hier echter mathematische Forschung?
