EINE VERMUTUNG VON 1959, EIN BEWEIS VON OPENAI UND EIN MATHEMATIKER, DER IHN LAS

Dieser Artikel handelt von Notizen, die ein Mathematiker geschrieben hat, um den Beweis eines anderen zu erklären. Alles, was hier über den Beweis von OpenAI gesagt wird, stammt aus diesen Notizen, aus zweiter Hand.

Kurven durch Punkte

Das Problem erwächst aus einer Schulaufgabe namens Interpolation: Man wählt einige Werte von x, legt fest, welchen Wert eine Funktion an jedem von ihnen annehmen soll, und irgendein Polynom schafft das immer. In der Ebene verlangt dasselbe Spiel von einer Kurve, durch eine Menge von Punkten zu gehen, was ihr gelingt, wenn ihr Grad hoch genug ist. Eine Kurve vom Grad d – gezeichnet durch eine Polynomgleichung in x und y, deren höchste Potenz d ist: Eine Gerade hat Grad 1, ein Kreis Grad 2 – hat (d+1)(d+2)/2 Koeffizienten, und die Forderung, dass sie durch einen Punkt geht, ist eine Gleichung.

Nun verlangt man mehr: Die Kurve muss durch jeden Punkt mit Vielfachheit m gehen – mehrmals, wie ein Knoten von Ästen, die sich dort kreuzen. Jeder solche Punkt erzwingt m(m+1)/2 Gleichungen. Für große d und m stehen etwa d²/2 Koeffizienten gegen r m²/2 Bedingungen, für r Punkte garantiert die Zählung also eine Kurve, sobald d/m etwas über √r liegt – genau gesagt, sobald die Koeffizienten die Bedingungen zahlenmäßig übertreffen.

Nagatas Vermutung (1959) präzisiert das: Für r ≥ 10 Punkte in „sehr allgemeiner“ Lage – ohne besondere Konstellation untereinander, wie bei zufällig gewählten Punkten – hat jede solche Kurve einen Grad größer als m√r. Die Bedingung r ≥ 10 ist nötig: Neun Punkte liegen immer auf einer Kubik (einer Kurve vom Grad 3), und diese Kubik m-fach genommen ist eine Kurve vom Grad 3m, die m-mal durch jeden von ihnen geht – genau m√9, die Gleichheit, die die Vermutung ausschließt. Nagata bewies sie für den Fall, dass r eine Quadratzahl ist.

Zwei Beispiele aus den Notizen: Keine Kurve vom Grad 9 geht dreimal durch jeden von 10 allgemeinen Punkten (nur 55 Koeffizienten für 60 Bedingungen – das allein reicht für den Schluss nicht, da sich Bedingungen überschneiden können; ausgeschlossen wird die Kurve durch Nagatas Schranke, denn 9 liegt unter 3√10 ≈ 9,5), und keine Kurve vom Grad 12 geht dreimal durch 16 allgemeine Punkte – der Gleichheitsfall 12 = 3√16.

Der Beweis, wie Tevelev ihn erzählt

Die Referenz ist „OpenAI, Nagata’s conjecture for plane curves“, ein OpenAI-Math-Release-Preprint vom 23. September 2026, mit begleitenden Manuskripten zu verwandten Fragen, veröffentlicht am 23. September und 5. Oktober. Jenia Tevelev von der UMass Amherst studierte ihn für einen Vortrag und machte aus dieser Darstellung diese Notizen, in der Hoffnung, dass sie „nützlich sein werden, besonders für Nichtfachleute“. Tevelev beansprucht keine Originalität und hat das Argument neu geordnet.

Die üblichen ersten Schritte drücken die Ebene auf eine glatte kubische Kurve zusammen und verschmelzen die r Punkte zu einem. Die neue Idee besteht in dieser Darstellung darin, die Kubik einen Knoten entwickeln zu lassen – einen Punkt, an dem die Kurve sich selbst kreuzt und eine Schleife abschnürt – und ihren Thetafunktionen zu folgen, der üblichen Art, Funktionen aufzuschreiben, die auf einer solchen Kurve leben, während sich diese Einschnürung schließt. Eine Dualität tauscht dann die Frage „welche Kurven verschwinden in den Punkten?“ gegen ihr Spiegelbild, „welche Werte lassen sich dort vorschreiben?“, und übrig bleibt eine Interpolation auf einem Dreieck aus ganzzahligen Gitterpunkten – eine endliche Tabelle von Werten, die auszufüllen ist, „was unkompliziert ist“.

Der Fall von sechzehn Dreifachpunkten: die 91 Gitterpunkte des Dreiecks (links) und die 96 Monome, die elementaren Terme wie x²y, aus denen Polynome aufgebaut sind (rechts). Zu zeigen, dass diese 96 Terme auf den 91 Punkten beliebige Werte annehmen können – die 96 × 91-Matrix hat „vollen Rang“ –, schließt die Kurve aus. — Abbildung 3, Tevelev (2026), arXiv:2610.30050, CC BY 4.0.

Dieselbe Rechnung klärt eine verwandte, technischere Frage, bei der die Ebene um einen Punkt herum in zwei Richtungen unterschiedlich stark vergrößert wird („gewichtete Aufblasungen“, weighted blow-ups), wenn das Verhältnis dieser Vergrößerungen neun übersteigt – ein Fall einer Vermutung von Dumnicki, Harbourne, Küronya, Roé und Szemberg.

Die Notizen stellen das Argument als Beweis dar. Sie erwähnen keine unabhängige formale Prüfung, etwa ein Peer-Review oder einen computergeprüften Beweis.

„Ihr erster menschlicher Leser“

Die Notizen enthalten auch die Meinung des Autors. Beim Lesen der veröffentlichten Manuskripte „fragte ich mich, ob ich vielleicht ihr erster menschlicher Leser sei. Sie schienen fast völlig unredigiert“, schreibt Tevelev. Tevelev vermutet, dass das Unternehmen erwartete, dass Mathematiker sie ordnen würden – eine redaktionelle Arbeit, die „Fachwissen und Zeit erfordert, aber wenig von der Anerkennung bringt, die mit origineller Forschung verbunden ist“. Wie viele andere glaubt Tevelev, dass dieses Vorgehen dem Berufsstand schadet, „besonders der Motivation und Ausbildung junger Menschen“.

„Zugleich halte ich diese Manuskripte für eine verblüffende Leistung“, schreibt Tevelev: Das Modell löste Probleme, die viele Experten für unerreichbar hielten, und „das alte Unterholz mathematischer Vermutungen“ werde „rasch im Feuer der KI verbrannt“.

Der Vorschlag: eine unabhängige Stiftung, finanziert von KI-Unternehmen, die jungen Forschenden Fördermittel, Stipendien und Zugang zu den besten Modellen bietet, mit einem Peer-Review nach dem Vorbild der US-amerikanischen National Science Foundation.

Die Notizen geben an, sie seien „mit ChatGPT Astra redigiert und illustriert“ worden.