377 KI-Lösungen: Wer bestimmt den Fortschritt der Mathematik?
Die FAZ berichtet über OpenAIs Resultate zu 377 mathematischen Problemen. Die Association for Human Mathematics (AHM) kritisiert die Massenveröffentlichung als „not a demonstration of scholarship, but a demonstration of power“.
Laut FAZ veröffentlichte OpenAI 722 Manuskripte mit KI-generierten Resultaten zu 377 zuvor offenen mathematischen Fragen. Die Reaktionen reichen von Begeisterung bis zur Sorge um die Zukunft menschlicher Forschung. [1]
Ein zentraler Streitpunkt ist die Prüfung: Ein maschinell kontrollierter formalisierter Beweis muss auch genau der ursprünglich behaupteten Aussage entsprechen. Der Artikel beschreibt Zweifel an dieser Übereinstimmung beim zuvor veröffentlichten Navier-Stokes-Beweis. [1] Die AHM kritisiert zudem die Machtposition des Unternehmens und dessen Veröffentlichungsmodell. [2]
Unsere Einordnung: Das Indiz zeigt einen Wandel wissenschaftlicher Arbeit. Neben dem Finden von Lösungen werden gemeinsames Verstehen, Vermittlung und die Regeln für die Anerkennung von KI-Ergebnissen entscheidend.
Quellen
Dieses Indiz von Martin Ebner ist lizenziert unter
CC BY 4.0
Kommentare 0
Kommentare werden moderiert. Neue Beiträge erscheinen nach Prüfung durch die Redaktion.
Noch keine Kommentare.