Eine KI knackt den 80 Jahre alten Einheitsdistanz-Code - und niemand weiß, wie

Es war ein Moment, den man sonst nur aus schlechten Science-Fiction-Filmen kennt. Im Mai 2026 legte ein Team von OpenAI-Forschern einem ihrer internen KI-Modelle eine Frage vor, die die klügsten Köpfe der Mathematik seit dem Zweiten Weltkrieg beschäftigt hatte. Es war keine gewöhnliche Rechenaufgabe, sondern das berühmte „planare Einheitsdistanzproblem“. Die Antwort der Maschine war nicht nur richtig, sie benutzte eine Methode, die keiner der beteiligten Experten auf dem Schirm hatte. Der renommierte Mathematiker Tim Gowers von der Universität Cambridge fasste seine Überprüfung mit einem Satz zusammen, der in der Geschichte der Künstlichen Intelligenz nachhallen wird:

„Es besteht kein Zweifel, dass die Lösung des Einheitsdistanzproblems ein Meilenstein in der KI-Mathematik ist: Wenn ein Mensch diesen Artikel geschrieben und bei den Annals of Mathematics eingereicht hätte und ich um eine schnelle Einschätzung gebeten worden wäre, hätte ich die Annahme ohne Zögern empfohlen. Kein zuvor von einer KI erzeugter Beweis kam dem auch nur annähernd nahe.“

Das unlösbare Gekritzel eines Genies

Die Geschichte beginnt im Jahr 1946 mit einem ungarischen Mathematiker, der für seine schier endlose Liste ungelöster Probleme bekannt war: Paul Erdős. Seine Frage klang fast zu einfach, um schwer zu sein. Man stelle sich ein leeres Blatt Papier und beliebig viele Punkte darauf vor. Wie viele Paare dieser Punkte können exakt eine Einheit voneinander entfernt sein? Erdős stellte die Behauptung auf, dass diese Zahl etwas schneller wächst als die Anzahl der Punkte selbst - und damit begann eine acht Jahrzehnte währende Jagd nach der exakten mathematischen Grenze. Die beste von Menschen gefundene obere Schranke stammte aus dem Jahr 1984 und schien unüberwindbar. Bis jetzt.

Das Problem ist ein klassisches Beispiel für die sogenannte kombinatorische Geometrie, ein Feld, in dem scheinbar harmlose Fragen mit extremer mathematischer Härte aufwarten. Über die Jahre hatten sich unzählige Forscher die Zähne daran ausgebissen. Die Lösung schien in weiter Ferne, verborgen hinter einem Vorhang aus algebraischen und geometrischen Theorien, die man für diesen Zweck für ungeeignet hielt.

Der große Coup: Ein Sprung in die algebraische Zahlentheorie

Genau hier liegt die Sensation. Die OpenAI-Wissenschaftler gaben dem Modell keine mathematische Spezialschulung. Es handelte sich um ein allgemeines, logisch denkendes System - einen sogenannten „General-Purpose Reasoning“-Algorithmus. In einem Blogeintrag schrieben die Forscher, das Modell habe eine völlig neuartige Herangehensweise gewählt und eine gängige Arbeitstheorie ersetzt, die üblicherweise mit dem Problem in Verbindung gebracht wird. „Diese Ideen waren algebraischen Zahlentheoretikern wohlbekannt, aber es war eine große Überraschung, dass diese Konzepte Implikationen für geometrische Fragen haben“, hieß es von OpenAI. Die KI hatte also nicht einfach nur schneller gerechnet, sondern eine konzeptionelle Brücke zwischen zwei scheinbar getrennten Welten der Mathematik geschlagen - eine intellektuelle Leistung, die einem brillanten Querdenken gleichkommt.

Dieser Coup hat weitreichende Konsequenzen. Es war das erste Mal, dass eine KI ein offenes Kernproblem eines mathematischen Teilgebiets völlig autonom löste. Doch so verlockend die Schlagzeile vom „Ende der menschlichen Mathematiker“ auch sein mag, die Wirklichkeit ist eine andere. OpenAI betonte in derselben Ankündigung, dass die Technologie menschliche Arbeit nicht ersetzen, sondern verbessern soll. Und tatsächlich: Der rohe KI-Beweis war zwar gültig, aber noch nicht perfekt. Erst in der Zusammenarbeit mit externen Mathematikern, die ein Begleitpapier verfassten, wurde er verfeinert und in den größeren mathematischen Kontext eingebettet. Als ob ein genialer, aber stotternder Architekt einen groben Bauplan vorlegt, den erst das Team vor Ort in eine elegante Kathedrale verwandelt.

Die Ironie der Perfektion: Wenn die KI vorauseilt und der Mensch nachsitzen muss

Thomas Bloom, Mathematiker an der Universität Manchester und Hüter der offiziellen Erdős-Probleme-Webseite, machte das Paradoxon dieser neuen Arbeitsteilung in dem Begleitpapier deutlich: „Während der ursprüngliche, von der KI erstellte Beweis vollkommen gültig war, wurde er von den menschlichen Forschern bei OpenAI und den vielen anderen beteiligten Mathematikern erheblich verbessert. Der Mensch spielt immer noch eine entscheidende Rolle bei der Diskussion, dem Verdauen und Verbessern dieses Beweises und der Erkundung seiner Konsequenzen.“ Es ist eine symbiotische Beziehung: Die Maschine durchbricht die mentale Blockade und liefert die existenzielle Bestätigung, dass eine Lösung existiert. Der Mensch hingegen schleift den rohen Diamanten, macht ihn für die Gemeinschaft zugänglich und überprüft seine Tragweite.

Diese Entwicklung ist jedoch nicht ohne schmerzhafte Lernprozesse in der Vergangenheit zu betrachten. Erst im Herbst zuvor hatte dasselbe Unternehmen für Schlagzeilen gesorgt, als Top-Manager Kevin Weil und Sebastien Bubkeck vollmundig verkündeten, GPT-5 habe zehn zuvor ungelöste Probleme von Erdős gelöst. Thomas Bloom war es damals, der darauf hinwies, dass menschliche Mathematiker diese Rätsel bereits vor Jahren entschlüsselt hatten. Bubkeck ruderte zurück und löschte seinen Post. Vor diesem Hintergrund wirkt die jetzige Verifikation durch eine externe, hochkarätige Mathematiker-Riege wie eine konzertierte Aktion der Wiedergutmachung am eigenen wissenschaftlichen Ruf.

Dennoch wirft der Erfolg grundlegende Fragen auf, die über die reine Mathematik hinausgehen. Was bedeutet es für den Erkenntnisgewinn, wenn ein zentrales Argument von einer Black Box geliefert wird, deren Pfade niemand vollständig nachvollziehen kann? Die beteiligten Forscher konnten im Nachhinein die Verknüpfung zur algebraischen Zahlentheorie erklären, aber der eigentliche Suchprozess der KI bleibt eine Black Box. Es ist ein bisschen so, als würde man einem Kompass folgen, von dem man nicht weiß, ob er magnetisch oder von einem unsichtbaren Algorithmus gesteuert wird - man kommt an, aber die Reise selbst bleibt ein Mysterium.

Der Fall zeigt vor allem eines: Die vermeintliche Krone der menschlichen Kreativität, die reine Mathematik, ist kein immuner Schutzraum mehr. Statt den Menschen zu verdrängen, zwingt der maschinelle Geistesblitz ihn jedoch in eine neue, fast philosophische Rolle. Es geht nicht mehr nur darum, Beweise zu führen, sondern maschinell geführte Beweise auszulegen, zu kontextualisieren und weiterzuentwickeln. Das planare Einheitsdistanzproblem ist gelöst. Der Weg dorthin bleibt eine der schönsten und beunruhigendsten Geschichten der modernen Wissenschaft.

Quellen:

• The original (and best) ‚Transformers‘ movie is rolling back out into theaters for its 40th anniversary (Space.com)
• OpenAI’s internal AI model just solved an 80-year-old math problem ‪ - ‬ and mathematicians verified it (Live Science)
• MUFG aims to become AI-native with OpenAI (OpenAI Blog)
• Here’s why Elon Musk lost his suit against OpenAI (MIT Technology Review - AI)
• ChatGPT and Political Correctness (Psychology Today - Articles)
• How WeatherNext helped the National Hurricane Center better predict Hurricane Melissa’s historic landfall in Jamaica (DeepMind Blog)

// weiterlesenDie Milliarde, die niemand verdient hatMagazinDas 80 Jahre alte Rätsel, das eine KI löste - und warum Mathematiker trotzdem nicht arbeitslos werdenAlgorithmenSierras KI-Schulversuch: 8 Wochen, die 2,5 Jahre Mathe-Fortschritt brachtenAlgorithmen