KI löst Mathe-Probleme: Star-Professor erklärt neues Zeitalter
KI stellt die Mathematik auf den Kopf. Für einen renommierten Professor ist das Thema ebenso spirituell wie praktisch.
Terence Tao, ein renommierter Professor an der UCLA, sagte kürzlich in einem Podcast, dass die „romantische Ära“ der Mathematik vorbei sei – dank KI-Tools, die in der Lage sind, Hunderte von Problemen mit wenigen einfachen Eingaben zu lösen. Nun, so sagte er, seien selbst führende Wissenschaftler wie er darauf reduziert, Unmengen von KI-generierten Beweisen zu sichten, anstatt die „heroischen“ Lösungen selbst zu erarbeiten.
„Wir bewegen uns auf ein industrielles Zeitalter zu, in dem die Mathematik viel größer angelegt sein wird“, sagte Tao diese Woche in einem Interview bei Numberphile, einem YouTube-Kanal, der sich der Mathematik widmet. „Wir treten in eine Ära ein, in der spannende neue Dinge möglich sind, aber auch einiges verloren geht“, fügte er hinzu.
KI kann Mathematik
OpenAI begann seinen rasanten Vorstoß in dieses Gebiet Anfang September mit der Lösung der Navier-Stokes-Gleichung, eines der Millenniums-Probleme der Mathematik.
Die Enthüllung, dass die KI das Problem geknackt hatte, sorgte bei vielen Mathematikbegeisterten für Bestürzung. Einige Mathematiker äußerten zudem ihre Frustration darüber, dass das KI-Modell das Problem zwar gelöst haben möge, aber seinen Lösungsweg nicht offenlegte, sodass ihnen die wenig bejubelbare Aufgabe blieb, die Lösung zu überprüfen.
Anfang dieses Monats gab OpenAI dann bekannt, weitere 700 ungelöste Probleme geknackt zu haben. Ein Mathematikprofessor der New York University erklärte gegenüber „CNBC“, dass die Veröffentlichung des Unternehmens die Arbeit von Nachwuchsmathematikern zum Erliegen gebracht habe. „Durch ihre Veröffentlichung am Dienstag wurden ganze Forschungsprogramme zunichte gemacht“, sagte der Professor, Tristan Buckmaster, damals.
In einem separaten Eklat im September zog sich OpenAI aus dem Sponsoring eines sogenannten KI-„Mathathons“ zurück – einer von Studenten am Caltech organisierten Veranstaltung, bei der die Teilnehmer dazu ermutigt wurden, Gleichungen mithilfe von KI zu lösen –, nachdem Beschwerden von einer Gruppe erfahrenerer Wissenschaftler eingegangen waren.
Die Organisatoren der Veranstaltung erklärten damals gegenüber BUSINESS INSIDER (BI), dass ihre Professoren den Anschluss an die Entwicklungen in diesem Fachgebiet völlig verloren hätten.
„Wir blicken in die Zukunft und wissen nicht einmal, ob es überhaupt noch freie Stellen an den Graduiertenkollegs geben wird, wenn wir unseren Doktor machen“, sagte einer der Organisatoren, Caiman Moreno-Earle.
Was darf die KI können und was nicht?
Obwohl OpenAI erklärt hat, Maßnahmen zu ergreifen, um sicherzustellen, dass menschliche Wissenschaftler ihre Rolle in dieser neuen Ära behalten, prognostizieren einige Forscher und Professoren bereits ihre mögliche Überflüssigkeit.
Tao ist nicht ganz so pessimistisch wie einige seiner Kollegen auf diesem Gebiet. Allerdings sagte er im Interview, dass die Geschichten, die sich Mathematik-Nerds selbst erzählen, in Zukunft vielleicht nicht mehr so viel bedeuten werden.
„Wir haben diese Art von mythologischen Geschichten“, sagte er in Anspielung auf die Erzählung von Sir Andrew Wiles, der bekanntlich sieben Jahre lang isoliert auf seinem Dachboden verbrachte, um eine einzige schwierige Gleichung zu lösen.
„Dieses heroische Zeitalter hatte etwas Romantisches“, sagte Tao.