OpenAI sorgt mit einem bislang geheim gehaltenen Modell für Aufsehen in der Mathematik-Community. Gleich fünf komplexe Probleme des legendären Mathematikers Paul Erdős wurden gelöst – Aufgaben, an denen sich Forschende teils über Jahrzehnte die Zähne ausgebissen haben. Die veröffentlichten Beweise zeigen eindrucksvoll, wie weit KI im Bereich des logischen Schlussfolgerns inzwischen gekommen ist.
Besonders bemerkenswert ist die Bandbreite der gelösten Fragestellungen: von Kombinatorik über Zahlentheorie bis hin zur Wahrscheinlichkeitsrechnung. Das Modell arbeitet dabei nicht nur korrekt, sondern liefert auch nachvollziehbare Herleitungen. Ein Highlight ist das Erdős-Problem 1091, bei dem sogar ein Gegenbeispiel zu einer langjährigen Annahme gefunden wurde – ein echter Meilenstein.
Im direkten Vergleich mit aktuellen Systemen wie ChatGPT-5.4 Pro wird der technologische Vorsprung deutlich. Während das öffentliche Modell nur eines der fünf Probleme vollständig lösen konnte, blieb der Großteil der Lösungen exklusiv dem internen System vorbehalten. Das zeigt klar: Die nächste Generation von KI ist bereits deutlich leistungsfähiger, als das, was aktuell verfügbar ist.
Für die Wissenschaft eröffnet das enorme Chancen. Mathematiker können KI künftig nicht nur als Werkzeug, sondern als echten Forschungspartner nutzen.