DER VORZEICHENFEHLER, DER DREI BEWEISE VERSENKTE

Die Hodge-Vermutung ist eine der tiefsten offenen Fragen der Mathematik. Ihre Formulierung stammt in dieser Arbeit aus einem Kapitel von Pierre Deligne im Buch The Millennium Prize Problems des Clay Mathematics Institute. Sehr grob gesagt besagt sie, dass sich bestimmte „Formen“, die in der Topologie eines durch Polynomgleichungen definierten geometrischen Raums verborgen sind, stets aus kleineren Stücken aufbauen lassen, die selbst durch Gleichungen definiert sind.

Im September und Oktober 2026 veröffentlichte OpenAI drei mit „OAI“ unterzeichnete Dokumente, die beanspruchten, die Vermutung in Spezialfällen zu beweisen: für bestimmte Flächen, sogenannte K3-Flächen, für deren Produkte und für bestimmte achtdimensionale Räume. OpenAI zog später alle drei zurück. Yankı Lekili vom Imperial College London und Nick Sheridan von der University of Edinburgh erklären nun genau, wo sie scheiterten.

Ein gültiger Weg durch den Spiegel

Die Dokumente schlugen einen eleganten Weg ein. Eine mächtige Idee namens homologische Spiegelsymmetrie, von Maxim Kontsevich vermutet, verknüpft einen geometrischen Raum X mit einem „Spiegelraum“ Y ganz anderer Art, der in der symplektischen Geometrie untersucht wird – einer aus der Physik der Bewegung hervorgegangenen Geometrie, in der Flächen statt Längen gemessen werden. Ist die Verbindung einmal hergestellt, lässt sich eine Frage über X gegen eine Frage über Y eintauschen.

Um hier die Hodge-Frage für X zu klären, genügt es, im Spiegel Y ein bestimmtes Objekt zu konstruieren: eine flächenartige Form namens Lagrange-Immersion, die zudem unobstruiert sein muss – eine technische Bedingung, die sie zu einem legitimen Mitglied des Werkzeugkastens des Spiegels macht. Lekili und Sheridan stimmen zu, dass dies ein gültiger Ansatz ist. Der Haken: Unobstruierte Lagrange-Untermannigfaltigkeiten zu konstruieren, ist selbst ein schweres Problem. Genau dort scheiterten alle drei Dokumente.

Wo die Kreuzungspunkte ins Spiel kommen

Eine Immersion darf sich selbst kreuzen, und jeder Kreuzungspunkt trägt eine Zahl, seinen Grad. Kreuzungen ungeraden Grades sind hier harmlos. Kreuzungen vom Grad 2 können eine Obstruktion erzeugen.

Die Dokumente bauten zunächst mit einer flexiblen Technik, dem h-Prinzip von Gromov und Lees, eine grobe Immersion. Dann beriefen sie sich auf ein Theorem von 2013 von Tobias Ekholm, Yakov Eliashberg, Emmy Murphy und Ivan Smith, um sie so aufzuräumen, dass jede Kreuzung ungeraden Grad hat. Ohne verbleibende gerade Kreuzungen würde die Unobstruiertheit folgen.

Ein Plus, das ein Minus hätte sein müssen

Das Theorem von 2013 ist korrekt. Aber es zählt Kreuzungen mit der entgegengesetzten Vorzeichenkonvention zur üblichen. Seine Autoren sagen das nie ausdrücklich; sie verwenden ihre Konvention durchgängig, und sie lässt sich aus ihren Formeln und ihrem Beweis ableiten. Die OpenAI-Dokumente verwendeten stattdessen die Standardkonvention – ein Vorzeichen war umgedreht. Das ist entscheidend, weil das Ergebnis des Theorems davon abhängt, ob eine bestimmte Bilanz der Kreuzungen, mit Plus und Minus gezählt, negativ ausfällt oder nicht. Die Dokumente hatten ihre Immersion so gebaut, dass diese Bilanz negativ war – der Fall, in dem sich ihrer Meinung nach jede Kreuzung ungerade machen ließ. Mit dem Vorzeichen des Theorems selbst ist dieselbe Bilanz positiv: der andere Fall. Das Problem wurde offenbar zuerst von Nathan Humphrey bemerkt und OpenAI gemeldet.

Mit richtig gelesenem Vorzeichen erzählt das Theorem eine andere Geschichte. Seine Konstruktion hinterlässt immer einen Kreuzungspunkt vom Grad 2, den Lekili und Sheridan p nennen. Jede andere Kreuzung lässt sich ungerade machen; p bleibt. Und p genügt, um den Beweis zu brechen.

Es ist schlimmer als eine Lücke. Die Autoren zeigen, dass die so erzeugten Immersionen typischerweise obstruiert sind: Eine kleine „starre“ Scheibe – eine isolierte Fläche, die sich nicht verformen lässt und deren Rand auf der Immersion liegt und durch p geht – erzeugt eine Obstruktion, die in einem bestimmten Regime nicht verschwinden kann – und außerhalb dieses Regimes gibt es keinen Grund, warum sie sich aufheben sollte. In ihren Worten ist diese Kreuzung „der Preis der Flexibilität“.

Starr gegen flexibel

Mathematiker dieses Gebiets unterscheiden flexible Probleme, die sich mit Allzweckwerkzeugen der Differentialtopologie lösen lassen, von starren, bei denen das nicht gelingt. Unobstruierte Lagrange-Untermannigfaltigkeiten sind im Allgemeinen starr, und man kann meist vom Starren zum Flexiblen gelangen, aber nicht zurück. Diese Intuition machte mehrere Forschende skeptisch gegenüber den Dokumenten, noch bevor sie zurückgezogen wurden. Doch die Autoren fügen eine demütige Anmerkung hinzu: Intuition kann täuschen, und das Theorem von 2013 selbst widersprach einst den Erwartungen.

Was übrig bleibt

Lekili und Sheridan analysieren den Rest der Argumente nicht und nennen drei positive Ergebnisse. Die Gesamtstrategie – die Hodge-Vermutung über die Spiegelsymmetrie anzugehen – ist interessant und verfolgenswert; falls jemand das Lagrange-Hindernis überwindet, könnten die Dokumente die verbleibenden technischen Schritte leiten. Die versteckte Vorzeichenkonvention der Arbeit von 2013 ist nun geklärt. Und ebenso die Frage, ob ihre Immersionen überhaupt je unobstruiert sein können.