Algorithmus, Grafik

AP/IKONI/OLIVER BURSTON

Dimensionen

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 wird 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

Service

Podcast abonnieren

Sendereihe