Chatbot-Beweise: Mathematik in KI-Zeiten

Beweise sind die Bausteine, aus denen die Mathematik ihre
Gedankengebäude errichtet. Nur was mit streng logischen
Argumenten belegt ist, wird akzeptiert. Einen mathematischen Satz
zu beweisen, bedeutet in der Regel langes Herumtüfteln, bis der
"Heureka"-Moment kommt. Und manchmal dauerte das Jahrhunderte.
Dank Künstlicher Intelligenz könnte das künftig wesentlich
schneller gehen. Bald könnten KI-Systeme auch selbst Beweise
vorschlagen und vielleicht die großen mathematischen Rätsel
lösen. Stellt sich die Frage, ob Menschen solche Beweise dann
noch werden nachvollziehen können? (Übernahme SWR: 2024)
Gestaltung: Christoph Drösser. - In Ö1 gesendet am 03. 09. 2024.