KI löst 20 Jahre altes offenes Problem in 30 Minuten; Verifikation dauert 5 Tage

Dimitris Papailiopoulos, ein Wissenschaftler bei Microsoft Research, hat mit GPT-5.6 und Claude Fable 5 eine seit 2001 offene Frage beantwortet: ob das MIMO-Erkennungsproblem mit einem schnellen polynomiellen Algorithmus gelöst werden kann, wo immer es statistisch möglich ist. Die Modelle behaupteten unabhängig voneinander, dass es keine Lücke gibt, und lieferten Beweise für verschiedene Algorithmen. Papailiopoulos wählte den Algorithmus von Claude Fable – eine grobe lineare Schätzung mit Rundung, gefolgt von gierigen Bitflips – und bat GPT, seinen Beweis zu korrigieren, der „größtenteils falsch, aber rettbar“ war. Anschließend verbrachte er fünf Tage damit, mit beiden Modellen zu iterieren, um das Argument in eine überprüfbare Form zu vereinfachen, wobei er alle Schritte ablehnte, denen er nicht folgen konnte, obwohl er schlechtere Konstanten zuließ. Der endgültige Beweis ist elementar und baut auf bekannten Techniken aus den 2010er-Jahren auf. Das Ergebnis ist jedoch noch nicht von Fachleuten begutachtet, und das idealisierte Kanalmodell bedeutet, dass es keine echten Router verbessern wird. Papailiopoulos vermutet außerdem, dass die Modelle die kollektive menschliche Intuition destillieren und dass viele aufgegebene Probleme auf ähnliche Lösungen warten.