Mathe-Problem aus 1946: KI findet Lösung, die Mathematiker jahrzehntelang übersahen

Ein mathematisches Rätsel aus dem Jahr 1946

Der ungarische Mathematiker Paul Erdős galt im 20. Jahrhundert als einer der produktivsten Köpfe seines Fachs. Er war bekannt dafür, scheinbar einfache Fragestellungen zu formulieren, die jedoch über Jahrzehnte hinweg die besten Mathematiker der Welt vor unlösbare Aufgaben stellten. Eines dieser berühmten Probleme, das als „Erdős-Problem 90“ oder „Problem der Einheitsdistanz in der Ebene“ bekannt ist, hat nun durch den Einsatz von Künstlicher Intelligenz eine überraschende Wendung erfahren.

Die Fragestellung ist intuitiv verständlich: Gegeben sei eine bestimmte Anzahl von Punkten (*n*) auf einer unendlich großen Fläche. Wie müssen diese Punkte angeordnet werden, damit möglichst viele Punktpaare einen exakten Abstand von einer Einheit zueinander aufweisen? Über 80 Jahre lang gingen Experten davon aus, dass hochgradig regelmäßige Strukturen, wie sie etwa in einem quadratischen Gitter vorkommen, die optimale Lösung darstellen. Auch Erdős selbst vertrat diese Ansicht.

KI widerlegt langjährige Intuition

Ein universelles KI-Modell – also kein System, das explizit für mathematische Beweise trainiert wurde – hat diese jahrzehntelange Annahme nun in Frage gestellt. Die KI nutzte Methoden aus der algebraischen Zahlentheorie, um aufzuzeigen, dass es für unendlich viele Werte von *n* Anordnungen gibt, die eine deutlich höhere Anzahl an Einheitsabständen aufweisen als das von Fachleuten favorisierte quadratische Gitter.

Dieser Erfolg markiert einen Wendepunkt. Der kanadische Mathematiker Daniel Litt betonte, dass es sich hierbei um das erste Ergebnis handle, das autonom von einer KI generiert wurde und das er als inhaltlich bedeutsam einstufe. Die mathematische Fachwelt reagiert mit einer Mischung aus Überraschung und Begeisterung auf diesen Fortschritt.

Anerkennung durch die Fachwelt

Dass die Leistung der KI als wissenschaftlich hochwertig eingestuft wird, zeigt sich an der Reaktion renommierter Experten. Timothy Gowers, ein Träger der Fields-Medaille, erklärte, dass er eine Arbeit mit einem solchen Ergebnis ohne Zögern zur Veröffentlichung in einer Fachzeitschrift wie den *Annals of Mathematics* empfohlen hätte. Gowers hob hervor, dass bisher kein KI-generierter Beweis ein vergleichbares Niveau an mathematischer Raffinesse erreicht habe.

Kettenreaktion in der Forschung

Der Durchbruch durch das OpenAI-Modell löste eine Dynamik aus, die weit über das ursprüngliche Problem hinausgeht. Nur wenige Tage nach der Veröffentlichung der Ergebnisse griff der US-Mathematiker Will Sawin den Gedankenansatz auf und konnte basierend darauf ein noch präziseres Resultat erzielen.

Auch andere Bereiche der Forschung profitieren bereits von dieser Entwicklung. Ein Team von Google DeepMind nutzte eines seiner eigenen KI-Modelle, um kurz darauf neun weitere, kleinere offene Probleme zu lösen, die auf Paul Erdős zurückgehen. Diese Entwicklungen deuten darauf hin, dass KI-Systeme zunehmend als Werkzeuge fungieren, die menschliche Forscher bei der Bewältigung komplexer theoretischer Hürden unterstützen können.

Ausblick auf die mathematische Praxis

Die jüngsten Ereignisse unterstreichen, dass KI in der Lage ist, eingefahrene Denkmuster zu durchbrechen. Während Mathematiker über Generationen hinweg an einer bestimmten Vermutung festhielten, konnte das KI-Modell durch einen anderen methodischen Zugang eine Lösung finden, die die Intuition der Experten widerlegte. Die Integration solcher Systeme in den wissenschaftlichen Alltag könnte in den kommenden Jahren dazu führen, dass weitere jahrzehntealte Rätsel, die bisher als unlösbar galten, einer Klärung zugeführt werden.