KI fordert den Heldenstatus von Mathematikern heraus

Die Fortschritte in Wissenschaft und Technologie haben einen Punkt erreicht, an dem künstliche Intelligenz (KI) komplexe mathematische Probleme lösen kann, die menschliche Mathematiker seit Jahrzehnten nicht bewältigen konnten. Diese Entwicklung stellt die traditionelle Wahrnehmung von Mathematikern als wissenschaftliche Helden in Frage, eine Rolle, die seit der Ära von Isaac Newton hervorgetreten ist.

KI-Modelle von Unternehmen wie OpenAI haben kürzlich bemerkenswerte Fortschritte bei mathematischen Herausforderungen gezeigt. Ein wichtiger Fall war die Lösung des Erdős-Einheitsabstandsproblems, das Mathematiker seit 80 Jahren verblüffte. Das Modell von OpenAI zeigte, dass eine Punktmenge mehr Paare mit exakt einem Einheitsabstand aufweisen kann, als bisher angenommen.

Darüber hinaus hat das Astra-Modell von OpenAI Berichten zufolge erhebliche Fortschritte bei zehn langjährigen Problemen in der Mathematik und theoretischen Informatik erzielt. Dazu gehören die Entdeckung der ersten bekannten "nicht-sofic" Gruppe und Durchbrüche bei der Berechnung der "Permanent"-Funktion. Diese Erfolge haben bei Mathematikern Bedenken hinsichtlich ihrer zukünftigen Rollen ausgelöst.

Auch wenn KI diese Probleme jetzt lösen kann, ist die Rolle menschlicher Mathematiker nicht vollständig obsolet. Sie werden weiterhin benötigt, um die KI zu steuern, Forschungsprobleme zu definieren und Ergebnisse zu überprüfen. Insbesondere die Verifizierung von Beweisen und die Entwicklung zuverlässiger Prüfsysteme sind zentral geworden, da Maschinen zunehmend mathematische Inhalte generieren.

In Zukunft könnte sich die Rolle des Mathematikers stärker in Richtung eines Dirigenten oder Kurators verschieben, der von Maschinen gemachte Entdeckungen interpretiert und präsentiert, anstatt selbst bahnbrechende Erkenntnisse zu liefern. Obwohl es unendlich viel unbekannte Mathematik gibt, wird erwartet, dass die KI einen großen Teil davon vor den Menschen entdecken wird.