Als die KI den Mathematikern zeigte, dass sie falsch lagen

Achtzig Jahre hat die Menschheit an diesem Problem geknobelt. Dann hat ein KI-Modell von OpenAI es in wenigen Wochen gelöst – und dabei einen Werkzeugkasten benutzt, an den kein Mensch gedacht hat.

Ein 80 Jahre altes Rätsel

1946 versprach der ungarische Mathematiker Paul Erdős ein Preisgeld für die Lösung eines scheinbar simplen Problems: Wie viele Paare aus Punkten können auf einer Fläche genau den gleichen Abstand zueinander haben? Das „planar unit distance"-Problem.

Acht Jahrzehnte lang rätselten Forscher. Sie einigten sich auf eine Vermutung: Dass ein einfaches Quadratgitter im Wesentlichen die beste Anordnung sei, um die Anzahl gleichabständiger Punktpaare zu maximieren. Bewiesen wurde es nie.

Bis jetzt.

Die KI, die einfach weiterrechnete

Ein internes Reasoning-Modell von OpenAI hat die Vermutung widerlegt. Es gibt Anordnungen, bei denen noch mehr Punktpaare den gleichen Abstand haben. Das ist an sich schon eine mathematische Sensation.

Das Bemerkenswerte ist aber nicht das Was, sondern das Wie.

Die KI hat das Problem nämlich nicht mit den Werkzeugen gelöst, die in der Geometrie üblich sind. Sie ist in einen anderen mathematischen Bereich ausgewichen: die algebraische Zahlentheorie.

Wenn die Geometrie an ihre Grenzen stößt

Vereinfacht gesagt: Der Abstand zwischen zwei Punkten ist immer auch eine Gleichung. Die KI hat das Problem umformuliert – weg von der Frage „Wie zeichne ich Punkte optimal?" hin zur Frage „Bei welcher Zahlenstruktur ist diese Gleichung ungewöhnlich oft lösbar?".

Die algebraische Zahlentheorie arbeitet mit deutlich exotischeren Zahlenbereichen als die euklidische Geometrie. Dadurch fand die KI Anordnungen, die kein Mensch in Betracht gezogen hatte.

Ein Bild, das der Original-Artikel verwendet: Die Geometrie versuchte das Problem mit Legosteinen zu lösen. Die KI hat mit der algebraischen Zahlentheorie Bausteine gefunden, die viel raffinierter sind und sich effektiver zusammenpuzzeln lassen.

Die nüchternen Mathematiker

Mehrere Mathematiker haben den Beweis geprüft und für korrekt befunden. In ihrer Stellungnahme weisen sie aber auf einen interessanten Punkt hin: Die zentralen Ideen lassen sich – zumindest im Nachhinein – bekannten Arbeiten von Ellenberg-Venkatesh, Golod-Shafarevich und Hajir-Maire-Ramakrishna zuordnen.

Das ist kein Vorwurf. Es bedeutet: Die KI hat bestehende mathematische Bausteine aus völlig verschiedenen Bereichen zusammengeführt, auf eine Art, wie es ein einzelner Mensch kaum getan hätte. Sie war nicht kreativ im romantischen Sinne – sie war kombinatorisch kreativ. Sie hat Brücken gebaut, die im Kopf eines Spezialisten nicht vorgesehen waren.

Warum das über die Mathematik hinausgeht

Das Problem mag abstrakt klingen. Die Anordnung von Punkten im Raum ist es aber nicht. Überall um uns herum brauchen wir optimale Anordnungen:

• Mobilfunkmasten und WLAN-Router: Damit keine Funklöcher entstehen und sich Signale nicht überlagern • Satellitenkonstellationen: Für globale Abdeckung und minimale Latenz • Navigation und Logistik: Optimale Routen und Standorte

Wenn das „planar unit distance"-Problem gelöst wird, liefert es neue Erkenntnisse darüber, wie man Dinge im Raum am besten anordnet.

Ein Vorbote für die Mathematik der Zukunft

Unabhängig vom konkreten Problem zeigt dieser Fall etwas Grundsätzliches: Eine KI kann über lange Zeit kohärent und stringent an einem komplexen Problem arbeiten – und dabei Lösungswege finden, die menschliche Spezialisten übersehen.

Das ist keine Magie. Es ist die Kombination aus drei Fähigkeiten:

1. Breite: Zugriff auf praktisch das gesamte mathematische Wissen
2. Ausdauer: Bereitschaft, tagelang an einer Fragestellung zu arbeiten
3. Kombinatorik: Die Fähigkeit, Bausteine aus verschiedenen Bereichen zusammenzuführen

Was das für die mathematische Forschung bedeutet, lässt sich noch nicht abschätzen. Aber es ist plausibel, dass KI in den nächsten Jahren eine ähnliche Rolle spielen wird wie in den 2010er-Jahren Computer-Algebra-Systeme: Werkzeuge, die niemanden ersetzen, aber die Spielregeln verändern.

Ob die KI das Preisgeld von Erdős bekommt, ist offen. Dringend brauchen würde sie es nicht – aber die Menschheit hat im Gegenzug noch ein anderes Problem zu lösen: den Stromhunger dieser Modelle.

---

Quelle: heise online – KI beweist: Mathematiker lagen falsch (06.06.2026)