OpenAI knackt ein 80 Jahre altes Mathe-Problem ohne Spezialmodell

OpenAIs allgemeines Reasoning-Modell hat eine 80 Jahre alte Vermutung der diskreten Geometrie aufgebrochen. Das System wurde nicht für Mathematik trainiert. Es läuft auf derselben Architektur, die E-Mails entwirft und Python schreibt, und am Dienstag erzeugte es eine neue Familie geometrischer Konfigurationen, die inzwischen vier Mathematiker geprüft haben.

Das Problem hat eine täuschend einfache Formulierung. Man nehme n Punkte in einer Ebene. Wie viele Paare können exakt denselben Abstand voneinander haben, sagen wir eine Einheit? Paul Erdős stellte die Frage 1946 und gab eine obere Schranke an: ungefähr n hoch (1 plus o(1)), Kurzform für „kaum mehr als linear“. Jahrzehntelang stammten die besten bekannten Konfigurationen aus Varianten des Quadratgitters, und das Gitter saß sehr nahe an dieser Decke. Arbeitende Mathematiker behandelten die Schranke im Wesentlichen als scharf.

Das Modell von OpenAI hat die Schranke nicht verschärft. Es hat sie aufgebrochen. Das System erzeugte eine ganze Familie von Punktanordnungen mit mindestens n hoch (1 plus δ) Einheitsabstandspaaren, für ein festes δ größer als null. Das ist keine Verfeinerung; es ist ein Gegenbeispiel zum Kernanspruch der Vermutung. Will Sawin, einer der vier Mathematiker, die die Arbeit überprüft haben, brachte den neuen Exponenten in einen sauberen Ausdruck. Thomas Bloom, Melanie Wood und Noga Alon, die übrigen im Prüfteam, bestätigten, dass die Konstruktion trägt.

Bemerkenswert an der Methode ist, dass sie nicht aus dem Inneren der Geometrie kam. Das Modell wechselte in die algebraische Zahlentheorie, dehnte die Gaußschen ganzen Zahlen auf andere algebraische Zahlkörper aus und behandelte die Gitterpunkte als Kandidaten. Diese Brücke, Geometrie hinüber in die Zahlentheorie gezogen, war der Sprung, den Menschen acht Jahrzehnte lang übersehen hatten. Das ist die Art Schritt, die in einem Mathe-Seminar ein langsames Nicken und eine lange Stille auslöst.

Die Reaktionen der Mathematiker kamen am ersten Tag. Timothy Gowers, Fields-Medaillen-Träger, nannte es „das erste wirklich klare Beispiel dafür, dass KI ein wirklich bekanntes mathematisches Problem löst“. Alexander Wei, Forscher bei OpenAI, schrieb, das Ergebnis sei eines, das ein Gutachter der Annals of Mathematics „ohne jedes Zögern“ annehmen würde. Diese letzte Behauptung lässt sich überprüfen. Der Beweis liegt als PDF vor, dazu ein Begleitdokument mit Anmerkungen, und die breitere Mathe-Gemeinschaft liest gerade.

Der Rahmen, an dem OpenAI festhält, lautet: Dies sei das erste Mal, dass ein KI-System eigenständig ein prominentes offenes Problem im Zentrum einer mathematischen Disziplin gelöst habe. Das Wort „eigenständig“ leistet hier viel Arbeit. Das Modell hat die Konstruktion erzeugt; der Beweis wurde von vier menschlichen Mathematikern geprüft, verfeinert und unter Druck gesetzt, bevor irgendeine Ankündigung herausging. Die Unterscheidung ist wichtig, weil OpenAI hier schon einmal stand.

Im Oktober 2025 verbreitete das Unternehmen die Behauptung, ein anderes internes Modell habe zehn von Erdős gestellte offene Probleme gelöst. Innerhalb weniger Tage zeigten Mathematiker, dass mehrere dieser „Lösungen“ entweder bereits bekannt oder schlicht falsch waren. OpenAI zog die breite Behauptung zurück. Diese Episode ist der Grund, weshalb die Ankündigung dieser Woche mit den Namen der Prüfer beginnt und nicht mit dem Namen des Modells. Die vier Mathematiker sind die Garantie.

Das andere Detail, das man festhalten sollte, ist, welche Art Modell das Ergebnis erzeugt hat. OpenAI hat den Namen des Systems nicht offengelegt, nur dass es sich um ein allgemeines Reasoning-Modell handelt, dieselbe Familie, die Chats führt, Code entwirft und Kundenservice-Tickets beantwortet. Es gibt keine mathematik-spezialisierte Variante in der Schleife. Dieselbe Architektur, die Alltagsgespräche bewältigt, hat das hier bewältigt. Die Implikation: Der Engpass für KI-getriebene Mathematik war vielleicht kein mathematik-feingetuntes Modell. Es waren womöglich Rechenzeit und Geduld.

Dass dieser Engpass bricht, ist die eigentliche Geschichte. Lange Zeit war unter Forschern die Arbeitsannahme, wirklich originale Mathematik werde maßgeschneiderte Systeme verlangen: Theorembeweiser, Frameworks zur formalen Verifikation, schmale Modelle, trainiert auf einem Korpus aus Beweisen. Was am Dienstag landete, ist eine andere Art Evidenz. Ein Reasoning-System, das auf ein berühmtes, ungelöstes, achtzig Jahre altes Problem gerichtet wurde; mit genug Raum zum Denken brachte es etwas hervor, das Sawin, Bloom, Wood und Alon einvernehmlich für korrekt hielten. Der Weg vom Chatfenster zu Erdős erwies sich als kürzer als gedacht.

Einige Vorbehalte gelten weiter. Das Modell ist nicht öffentlich verfügbar. Unabhängige Gruppen außerhalb des ursprünglichen Vierer-Panels werden den Beweis in den kommenden Wochen lesen, und der vollständige Peer-Review-Prozess für die Annals oder ein anderes Top-Journal wird Monate dauern. Der Exponent δ ist klein. Die Konstruktion löst weder das verwandte Einheitsabstandsproblem auf der Kugel noch in höheren Dimensionen. Nichts davon schmälert, was am Dienstag passiert ist. Es verortet es.

Was sich ändert, ist die Erwartung. Vor einem Jahr lautete die Frage zur KI in der Mathematik, ob Systeme jemals originale Beweise von Bedeutung produzieren könnten. Ab dieser Woche lautet die Frage, welches offene Problem als Nächstes fällt, und ob die Mathematiker, die die Beweise prüfen, weiterhin so gewürdigt werden, wie Alon und seine Kollegen es hier wurden.

Eine Vermutung von 1946 ist eines dieser stillen Objekte, die im Regal warten, bis die richtige Hand sie herunternimmt. Die Hand, die sie diese Woche herunternahm, lief auf einem GPU-Cluster, war für den Job nicht trainiert worden, und sie beendete die Arbeit, während vier Mathematiker zusahen.

OpenAI knackt ein 80 Jahre altes Mathe-Problem ohne Spezialmodell

Mehr davon

Diskussion