Die mathematische Forschung steht vor einem spürbaren Wandel, da künstliche Intelligenz zunehmend komplexe theoretische Fragestellungen beantwortet. Das US-Unternehmen OpenAI hat bekannt gegeben, dass sein Prototyp-Modell Astra Lösungen für zehn lange ungelöste mathematische Probleme gefunden hat. Die Ergebnisse decken ein breites Spektrum ab, das von der Quantenspieltheorie bis hin zur hochdimensionalen Kugelpackung reicht. Besonders der Nachweis einer sogenannten nicht-sofischen Gruppe sorgt in Fachkreisen für Aufsehen. Der Durchbruch unterstreicht die wachsende Leistungsfähigkeit spezialisierter Algorithmen, entfacht jedoch zugleich eine Debatte über den tatsächlichen Eigenbeitrag der Systeme.
- OpenAI präsentiert KI-gestützte Lösungen für zehn bisher ungelöste mathematische Fragestellungen.
- Dem Modell Astra gelang unter anderem der Beweis für die Existenz einer nicht-sofischen Gruppe.
- Mathematiker betonen, dass die Ergebnisse stark auf bestehenden menschlichen Forschungsarbeiten aufbauen.
Beweis einer nicht-sofischen Gruppe sorgt für Aufsehen
Unter den zehn von OpenAI veröffentlichten Ergebnissen zieht die Lösung eines Problems zur Sofizität die größte Aufmerksamkeit auf sich. Die Eigenschaft der Sofizität, die erstmals 1999 beschrieben wurde, betrifft Gruppen von Operationen, die durch kleinere, endliche Permutationsgruppen angenähert werden können. Mathematiker vermuteten schon länger die Existenz nicht-sofischer Gruppen, doch ein konkreter Beweis stand bislang aus.
Mit dem Nachweis einer solchen nicht-sofischen Gruppe durch das KI-Modell Astra konnte eine jahrelange mathematische Vermutung erstmals offiziell bestätigt werden.
Die Veröffentlichung löste in der Fachwelt eine intensive Diskussion aus. Technologie-Unternehmer Elon Musk kommentierte die Ergebnisse auf der Plattform X und bezeichnete sie als Hinweis darauf, dass die sogenannte Singularität – der Punkt, an dem sich KI eigenständig und beschleunigt weiterentwickelt – erreicht sein könnte.
Fachexperten hinterfragen die Eigenständigkeit der KI
In der Wissenschaftsgemeinde wird die Rolle der KI jedoch differenzierter gesehen. Francesco Fournier-Facio von der Universität Cambridge, der sich seit 2020 intensiv mit dem Sofizitätsproblem befasst, weist darauf hin, dass die Lösung der KI maßgeblich auf Vorarbeiten menschlicher Forscher beruht. Konkret greife das Modell auf Publikationen von Andreas Thom aus dem Jahr 2016 und Gábor Kun aus dem Jahr 2019 zurück.
OpenAI hatte anfänglich erklärt, bei allen zehn Problemen habe es seit mindestens einem Jahrzehnt keinen Fortschritt beim Hauptergebnis gegeben. Nach Kritik von Fournier-Facio korrigierte das Unternehmen diese Aussage. Fournier-Facio betonte, dass KI-Systeme bislang vor allem darin stark seien, Gegenbeispiele zu finden, die sich im Anschluss leicht überprüfen lassen. Die eigenständige Entwicklung neuer theoretischer Rahmenwerke sei damit jedoch noch nicht belegt.
Auch Abhishek Saha von der Queen Mary University of London verweist darauf, dass Astra bei der hochdimensionalen Kugelpackung auf menschlicher Forschung aufbaute. Dennoch bezeichnete er die Veröffentlichung der zehn Lösungen als die bislang beeindruckendste Demonstration mathematischer KI-Leistung. Saha zeigte sich zweckoptimistisch und hielt es für denkbar, dass KI-Modelle in zwei bis drei Jahren ausreichend Theorie entwickeln könnten, um noch tiefere Fragen zu beantworten.
Ein Trend zu KI-gestützten mathematischen Entdeckungen
Die aktuellen Ergebnisse reihen sich in eine Serie jüngster KI-Erfolge in der Mathematik ein. Bereits im Mai hatte ein OpenAI-Modell eine Jahrzehnte alte Vermutung von Paul Erdős gelöst. Zudem entdeckte die KI Claude Fable 5 im vergangenen Monat ein Gegenbeispiel zur Jacobi-Vermutung, die seit fast einem Jahrhundert bestand.
Dass KI-Systeme vermehrt mathematische Durchbrüche erzielen, bedeutet für die Praxis eine Verschiebung der Arbeitsweise: Algorithmen fungieren zunehmend als Werkzeuge, um verstreute mathematische Ansätze auf neuartige Weise technisch zusammenzuführen. Für die Entwicklung völlig neuer theoretischer Konzepte bleiben menschliche Forscher vorerst unersetzlich, da rein logische Prüfroutinen die mathematische Begriffsbildung nicht ohne Weiteres ersetzen können. OpenAI selbst reagierte auf eine Anfrage zur Stellungnahme nicht.
Wie bewerten Sie den zunehmenden Einsatz von künstlicher Intelligenz in der Spitzenforschung? Teilen Sie Ihre Ansicht in den Kommentaren.
