Es ist eine ungewoehnliche Wendung: Ein KI-Modell von OpenAI hat offenbar ein mathematisches Problem geloest, an dem sich Forscherinnen und Forscher seit 1946 die Zaehne ausgebissen haben. Und die Pointe ist nicht die Loesung selbst, sondern wer sie bestaetigt. Genau die Mathematiker, die OpenAI bei einer frueheren, vorschnellen Erfolgsmeldung blossgestellt hatten, stellen sich diesmal hinter das Resultat. Aus einem peinlichen Moment fuer das Unternehmen wird so ein Achtungserfolg - mit Folgen fuer die Frage, was KI in der Wissenschaft wirklich kann.

Konkret geht es laut OpenAI um das sogenannte unit distance problem, ein Problem aus der diskreten Geometrie (ein Teilgebiet der Mathematik, das sich mit Punkten, Abstaenden und Anordnungen in endlichen Strukturen beschaeftigt). Die offene Frage stammt aus dem Jahr 1946 und beschaeftigt seither die Fachwelt. Ein Reasoning-Modell von OpenAI - also ein System, das nicht nur Text generiert, sondern in mehreren Schritten Argumentationsketten aufbaut - soll eine zentrale Vermutung zu diesem Problem widerlegt haben. OpenAI selbst spricht in einem eigenen Blogbeitrag von einem Meilenstein fuer KI-getriebene Mathematik, TechCrunch berichtet am 20. Mai 2026 ueber den Vorgang und betont, dass externe Mathematiker das Ergebnis diesmal stuetzen.

Die Einordnung ist wichtig, weil OpenAI nicht zum ersten Mal grosse Mathe-Erfolge reklamiert. In einem frueheren Fall hatten Mathematiker die Behauptungen des Unternehmens oeffentlich auseinandergenommen - TechCrunch erinnert ausdruecklich an diese Blamage. Dass nun ausgerechnet diese Kritiker die neue Loesung bestaetigen, verschiebt das Bild: Es geht nicht mehr nur um PR einer KI-Firma, sondern um ein konkretes Resultat in einer Disziplin, in der Beweise normalerweise gnadenlos geprueft werden. Fuer OpenAI ist das wertvoller als jede neue Modell-Demo, denn Mathematik gilt als harter Pruefstein fuer echtes maschinelles Schlussfolgern. Fuer die Forschung selbst stellt sich die Frage, ob KI-Modelle kuenftig systematisch alte offene Probleme angehen koennen - oder ob es sich um Einzelfaelle handelt, in denen ein Modell besonders gut zu einer Aufgabe passt.

Vieles bleibt aus dem vorliegenden Material unklar. Welches Modell genau die Widerlegung lieferte, in welcher Form der Beweis vorliegt, wie viel menschliche Vorarbeit oder Nachbearbeitung noetig war und wer die Bestaetigenden namentlich sind, geht aus den Zusammenfassungen nicht hervor. Auch ist offen, ob der Beweis bereits formal peer-reviewed und in einer Fachzeitschrift erschienen ist oder zunaechst nur als Vorabveroeffentlichung kursiert. Das Wort claim in der TechCrunch-Ueberschrift legt nahe, dass eine endgueltige Einordnung der Fachwelt noch aussteht. Vorsicht bleibt also angebracht - gerade weil die letzte vergleichbare Episode zeigte, wie schnell sich vermeintliche Durchbrueche relativieren lassen.

Worauf in den kommenden Tagen zu achten ist: ob unabhaengige Mathematikerinnen und Mathematiker den Beweis Schritt fuer Schritt nachvollziehen und ob ein formales Papier erscheint, das ueber die Mitteilung von OpenAI hinausgeht. Sollte sich die Widerlegung halten, waere es einer der ersten Faelle, in denen ein KI-System nicht nur Aufgaben aus Lehrbuechern loest, sondern ein offenes Problem der Forschung verschiebt.