OpenAI meldet, ein neues Allzweck-Reasoning-Modell habe eigenständig einen mathematischen Beweis erzeugt und damit eine Vermutung widerlegt, die der Mathematiker Paul Erdős 1946 aufgestellt hatte. Es geht um das sogenannte Unit-Distance-Problem, also die Frage, wie viele Punktpaare auf einer Ebene exakt eine Einheit voneinander entfernt liegen können. Fast 80 Jahre lang galt die Annahme, die besten Anordnungen sähen ungefähr aus wie ein quadratisches Gitter. Genau das stimmt nun nicht mehr.
Das Modell fand eine ganze Familie neuer Punktanordnungen, die mehr Paare im Einheitsabstand erzeugen als das Gitter. Statt mit klassischen Geometrie-Tricks zu arbeiten, verband es das Problem mit der algebraischen Zahlentheorie, einem entlegenen Teilgebiet der Mathematik. Neun Mathematiker haben den Beweis unabhängig geprüft und in einer Begleitnotiz bestätigt, darunter Noga Alon, Melanie Wood und Thomas Bloom, der die bekannte Webseite zu den Erdős-Problemen betreibt. OpenAI nennt es das erste Mal, dass eine KI ein prominentes, für ein mathematisches Teilgebiet zentrales offenes Problem eigenständig gelöst hat.
Für Nutzer von KI-Werkzeugen ist daran weniger der Beweis selbst spannend, sondern was er über die Modelle verrät. Ein Chatbot sagt im Normalfall nur das nächste Wort vorher. Hier hielt das System eine lange, schwierige Gedankenkette zusammen und verknüpfte Ideen aus verschiedenen Feldern. Das ist etwas anderes als das Wiederfinden bekannter Lösungen, und genau diese Fähigkeit könnte irgendwann auch in Biologie, Physik oder Medizin etwas bewegen.
Ein wenig Skepsis bleibt angebracht. Vor sieben Monaten meldete OpenAI schon einmal, GPT-5 habe zehn Erdős-Probleme gelöst. Es stellte sich heraus, dass das Modell lediglich längst veröffentlichte Lösungen wiedergefunden hatte, der zuständige Manager löschte seinen Post wieder. Diesmal stehen die Fachleute hinter dem Ergebnis. Ein einzelnes geknacktes Problem bedeutet aber nicht, dass KI die Mathematik beherrscht.
Quellen
- OpenAI: An OpenAI model has disproved a central conjecture in discrete geometry
- TechCrunch: OpenAI claims it solved an 80-year-old math problem, for real this time
Ähnliche News
- OpenAI löst sich aus der Microsoft-Exklusivität
- Neuer Mathe-Test entlarvt KI bei unlösbaren Aufgaben
- Claude Opus 4.7 löst Aufgaben, an denen der Vorgänger scheiterte
Diese Meldung wurde mit Unterstützung von Claude (Anthropic) recherchiert und verfasst. Inhaltliche Fehler sind möglich. Die verlinkten Quellen ermöglichen eine eigene Prüfung. Fachbegriffe erläutert das Glossar.