Transcript

OpenAI veröffentlicht 372 neue Mathe-Beweise – und keiner versteht sie · Superkraft KI News | by Jörg Schieb

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.