Mathematik in Zeiten von KI – Beweise vom Chatbot (Das Wissen, SWR2)
29 Minuten
Podcast
Podcaster
Wissenschaft auf die Ohren - Audiofundstücke rund um die Forschung, kuratiert von der Helmholtz-Gemeinschaft, Deutschlands größter Wissenschaftsorganisation
Beschreibung
vor 5 Monaten
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
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
Weitere Episoden
46 Minuten
vor 3 Stunden
60 Minuten
vor 3 Stunden
1 Stunde 7 Minuten
vor 3 Stunden
31 Minuten
vor 3 Stunden
44 Minuten
vor 3 Stunden
In Podcasts werben
Kommentare (0)