OpenAI veröffentlicht 372 neue Mathe-Beweise – und keiner versteht sie
OpenAI hat in der Nacht 372 mathematische Beweise auf einen Schlag veröffentlicht – und sorgt damit für Kontroversen.
Die Ergebnisse stammen von einem noch nicht öffentlichen Sprachmodell und sollen jeweils bedeutende offene Fragen der Mathematik lösen.
Das Problem: Die schiere Menge und Komplexität überfordert menschliche Mathematiker.
Viele können die Beweise nicht nachvollziehen oder verstehen, ob sie wirklich korrekt sind.
Das wirft grundsätzliche Fragen auf: Was nützen wissenschaftliche Durchbrüche, wenn niemand sie versteht?
Brauchen wir in Zukunft KI, um KI-Ergebnisse zu prüfen?
Die Fachwelt ist gespalten – zwischen Begeisterung über die Leistung und Unbehagen darüber, dass KI in der Grundlagenforschung schneller voranschreitet als Menschen folgen können.
