ChatGPT löst komplexes mathematisches Problem eigenständig

Künstliche Intelligenz hat einen Schritt vollzogen, der bis vor Kurzem noch wie Science-Fiction wirkte: Die neueste Version von ChatGPT hat eigenständig eines der komplexen mathematischen Probleme gelöst, die als "offen" klassifiziert sind. Dies betonte der Forscher und Entwickler Neil Somani, der dem Modell ein nicht-triviales Problem vorlegte und es ohne menschliches Eingreifen arbeiten ließ. Nach etwa 15 Minuten präsentierte das System eine detaillierte Lösung, die Somani anschließend mit dem mathematischen Werkzeug Harmonic überprüfte und formalisierte – womit er bestätigte, dass der Beweis korrekt war.

Laut BODA.SU wollte Somani herausfinden, wo die Grenzen der Fähigkeiten moderner großer Sprachmodelle in der Mathematik liegen. Die experimentellen Ergebnisse fielen überraschend stark aus: Die neueste ChatGPT-Version bewältigte komplexe Konzepte souverän und zeigte ein Maß an logischem Denken, das bisher als für KI unerreichbar galt. Aus Sicht des Forschers verschiebt dies unser Verständnis davon, welche Aufgaben Maschinen eigenständig lösen können, erheblich.

In seinem Lösungsprozess fand das Modell nicht nur eine Antwort, sondern wandte grundlegende mathematische Ideen und Formeln sequenziell an, wobei es auf Werke zurückgriff, die in der Fachwelt vor über einem Jahrzehnt diskutiert wurden. Die endgültige Lösung war keine Kopie bekannter Ansätze, sondern eine eigenständige und vollständigere Herleitung für eine Problemvariante, die ursprünglich von Paul Erdős formuliert wurde. Dieses Niveau der Verallgemeinerung und Anpassung war einst ausschließlich dem Menschen vorbehalten.

Somani stellt fest, dass nach der Veröffentlichung von Version GPT 5.2 ein deutlicher Sprung stattfand: Die Anzahl der Probleme, die KI ohne direkte Unterstützung bewältigt, ist stark gestiegen. Während frühe autonome Erfolge auf diesem Gebiet bereits früher verzeichnet wurden, ist der Fortschritt nun kaum zu übersehen. Experten betonen, dass KI Mathematiker nicht ersetzt, sondern zunehmend zu einem leistungsstarken Werkzeug wird, das die Lösungsfindung beschleunigen und die Grenzen menschlichen Wissens erweitern kann.