Die größten Probleme der Mathematik zu lösen war eine Kunstform. Dann kam die KI
wired ·
OpenAI hat kürzlich behauptet, das jahrzehntealte Problem der Existenz und Glattheit der Navier-Stokes-Gleichungen mit Tausenden von KI-Agenten gelöst zu haben, was in der mathematischen Gemeinschaft Kontroversen ausgelöst hat. Kritiker argumentieren, dass dieser brute-force-Ansatz die künstlerische und kreative Natur der Mathematik untergräbt, die ein tiefes Verständnis über bloße Ergebnisse stellt. Viele Mathematiker sind der Ansicht, dass KI den bewussten Prozess verkürzt, der zur Entwicklung neuer Ideen erforderlich ist, was potenziell zu Lösungen ohne echtes Verständnis führen könnte. Eine Erklärung, die von Fields-Medaillengewinnern unterzeichnet wurde, warnt, dass die Massenproduktion von Beweisen den fruchtbaren Boden für menschliche Innovation zerstören könnte. Experten wie Lorenzo Gavassino betonen, dass der bei komplexen Berechnungen inhärente Kampf oft Durchbruchskonzepte wie imaginäre Zahlen inspiriert. Es bestehen zudem Bedenken hinsichtlich Transparenz, Zuschreibung und der ethischen Implikationen des Ersatzes der Ausbildung von Doktoranden durch automatisierte Berechnungen. Obwohl OpenAI eine beratende Gruppe gebildet hat, um diesen Bedenken zu begegnen, bleiben Spannungen bezüglich der zukünftigen Rolle der KI in der wissenschaftlichen Entdeckung bestehen.
wired