Dimensionen
Chatbot-Beweise: Mathematik in KI-Zeiten
3. September 2024, 19:05
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
