![Mathematik in Zeiten von KI – Beweise vom Chatbot (Das Wissen, SWR2)](https://cdn.podcastcms.de/images/shows/315/635526/s/638013877/mathematik-in-zeiten-von-ki-beweise-vom-chatbot-das-wissen-swr2.png)
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 1 Monat
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
![Christian Karagiannidis zur Lage auf den Intensivstationen (Die Idee, NDR)](https://cdn.podcastcms.de/images/shows/66/635526/s/623790244/christian-karagiannidis-zur-lage-auf-den-intensivstationen-die-idee-ndr.png)
46 Minuten
vor 3 Stunden
![Vermesser Matthias Geßner (DLR FORSCHtellungsgespräch)](https://cdn.podcastcms.de/images/shows/66/635526/s/623789435/vermesser-matthias-gessner-dlr-forschtellungsgespraech.png)
60 Minuten
vor 3 Stunden
![Jochem Marotzke, Klimaforscher (Lage der Nation)](https://cdn.podcastcms.de/images/shows/66/635526/s/622881866/jochem-marotzke-klimaforscher-lage-der-nation.png)
1 Stunde 7 Minuten
vor 3 Stunden
![Bringt uns Programmieren bei - mit Fredo Erxleben (Code for Thought)](https://cdn.podcastcms.de/images/shows/66/635526/s/622881864/bringt-uns-programmieren-bei-mit-fredo-erxleben-code-for-thought.png)
31 Minuten
vor 3 Stunden
![Klimawandel und Kipppunkte - Wird die Debatte zu panisch geführt? (DLF Kultur, Zeitfragen)](https://cdn.podcastcms.de/images/shows/66/635526/s/622881861/klimawandel-und-kipppunkte-wird-die-debatte-zu-panisch-gefuehrt-dlf-kultur-zeitfragen.png)
44 Minuten
vor 3 Stunden
Kommentare (0)