Um die Ecke gedacht: KI widerlegt 80 Jahre alte Mathe-Vermutung
- 26. Mai
- 3 Min. Lesezeit
Ein KI-Modell von OpenAI hat eine berühmte mathematische Vermutung widerlegt. Nicht indem es schlauer war als alle Mathematiker, sondern indem es in eine Richtung schaute, in die niemand geschaut hatte.
Punkte, Abstände und eine simple Frage
1946 stellte der ungarische Mathematiker Paul Erdős eine verblüffend einfache Frage: Man verteilt Punkte auf einem Blatt Papier. Wie viele Punktpaare können dabei exakt den gleichen Abstand zueinander haben?
Erdős vermutete: Ein leicht verzerrtes Quadratraster sei die beste Anordnung. Mehr gehe kaum. Für eine Widerlegung lobte er 500 Dollar Preisgeld aus.
80 Jahre lang versuchten Forschende weltweit, diese Vermutung zu beweisen. Beweisen – nicht widerlegen. Denn fast alle gingen davon aus, dass Erdős recht hatte.
Die KI schaute in die andere Richtung
Am 20. Mai 2026 meldete OpenAI: Ein hauseigenes Reasoning-Modell hat die Vermutung widerlegt. Wichtig dabei: Die KI hat das eigentliche Problem nicht gelöst. Sie hat ein Gegenbeispiel gefunden – eine Punktanordnung, die mehr gleichabständige Paare erzeugt als Erdős' Raster.
Der Unterschied klingt subtil, ist aber entscheidend. Forbes-Kolumnist Lance Eliot vergleicht es so: Jemand behauptet, nie etwas über Einhörner gepostet zu haben. Diese Behauptung zu beweisen, erfordert das Durchforsten aller jemals geschriebenen Posts. Sie zu widerlegen? Dafür reicht ein einziger Fund. Die KI suchte gezielt nach diesem einen Fund. Und wurde fündig.
Werkzeugkasten aus dem Nachbarregal
Was Fachleute verblüfft: Das Modell griff für ein Geometrie-Problem zu Werkzeugen aus der algebraischen Zahlentheorie. Heise online vergleicht das damit, „ein Architekturproblem mit Musiktheorie zu lösen". Diese Methoden existieren seit Jahrzehnten – aber niemand hatte sie auf dieses Problem angewandt.
Der Mathematiker Thomas Bloom erklärt, warum: Vier seltene Bedingungen hätten gleichzeitig erfüllt sein müssen. Man hätte signifikante Zeit investieren, gegen die etablierte Meinung arbeiten, das Problem in einen fremden Fachbereich übersetzen und dort ausreichend tief einsteigen müssen.
Die KI erfüllte alle Bedingungen. Bloom beschreibt ihre Stärke als „übermenschliche Geduld kombiniert mit Vertrautheit mit einem riesigen Arsenal an technischer Maschinerie".
Beeindruckend – aber kein Alleskönner
Fields-Medaillist Tim Gowers nennt das Ergebnis einen „Meilenstein in der KI-Mathematik". Er gibt aber offen zu: Als er zunächst glaubte, die KI hätte einen vollständigen Beweis geliefert, verbrachte er den Abend damit, „sein Weltbild anzupassen". Am nächsten Morgen – als sich der Irrtum aufklärte – war das „eine große Erleichterung".
Neun unabhängige Mathematiker prüften den Beweis und bestätigten seine Korrektheit. Das Ergebnis steht. Aber das Problem selbst bleibt offen: Wo genau die obere Grenze liegt, weiß weiterhin niemand.
Was bleibt – auch für Unternehmen
Die eigentliche Erkenntnis hat nichts mit Geometrie zu tun. Sie lautet: KI findet Schwachstellen in Annahmen, die alle für richtig halten. Sie sucht systematisch dort, wo Menschen nicht hinschauen – weil Gewohnheit, Zeitmangel oder Gruppenkonsens den Blick verstellen.
In der IT-Sicherheit heißt das „Red Teaming". In der Strategie heißt es: den eigenen blinden Fleck kennen. Und genau dafür eignen sich aktuelle KI-Systeme schon heute bemerkenswert gut.
Welche Annahmen in Ihrem Unternehmen hat seit Jahren niemand hinterfragt? Falls Sie herausfinden möchten, wie KI Ihnen dabei helfen kann, blinde Flecken aufzudecken – sprechen Sie mit uns.
Glossar
Algebraische Zahlentheorie: Ein Teilgebiet der Mathematik, das erweiterte Zahlensysteme mit besonderen Strukturen untersucht.
Gegenbeispiel (Counterexample): Ein einzelner Fall, der ausreicht, um eine allgemeine Behauptung zu widerlegen.
Reasoning-Modell: Ein KI-System, das mehrstufig logische Schlüsse zieht, anstatt nur Text vorherzusagen. Es arbeitet Probleme schrittweise ab.
Red Teaming: Methode, bei der gezielt Schwachstellen in Systemen oder Annahmen gesucht werden – aus der Perspektive eines Angreifers.
Vermutung (Conjecture): Eine mathematische Aussage, die als wahrscheinlich wahr gilt, aber noch nicht bewiesen wurde.
