Mathematik in Zeiten von KI – Beweise vom Chatbot (Das Wissen, SWR2)

Beweise sind die Bausteine, aus denen die Mathematik ihre
Gedankengebäude errichtet. Nur was mit streng logischen Argumenten
belegt ist, wird akzeptiert. Aber komplizierte Beweise können
fehlerhaft sein und sind schwer zu überprüfen. Nun können
Computerverfahren Beweise auf ihre Richtigkeit checken. Bald werden
KI-Systeme selbst Beweise vorschlagen und vielleicht die großen
mathematischen Rätsel lösen. Doch wird diese Beweise dann noch
jemand nachvollziehen können? Von Christoph Drösser Quelle:
https://www.swr.de/swrkultur/wissen/mathematik-in-zeiten-von-ki-beweise-vom-chatbot-das-wissen-2024-06-12-100.html
/ Bitte abonniert den Original-Podcastfeed:
https://www.swr.de/~podcast/swrkultur/programm/podcast-swr-das-wissen-102.xml