podcast.de
Anmeldung
Anmeldung Registrierung
Auto Hell Dunkel
Erweiterte Suche
  1. Startseite
  2. Podcasts
  3. Wissenschaft auf die Ohren Podcast
  4. 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

Weitere Episoden

Christian Karagiannidis zur Lage auf den Intensivstationen (Die Idee, NDR)

Christian Karagiannidis zur Lage auf den Intensivstationen (Die Idee, NDR)

46 Minuten
vor 7 Stunden
Vermesser Matthias Geßner (DLR FORSCHtellungsgespräch)

Vermesser Matthias Geßner (DLR FORSCHtellungsgespräch)

60 Minuten
vor 7 Stunden
Jochem Marotzke, Klimaforscher (Lage der Nation)

Jochem Marotzke, Klimaforscher (Lage der Nation)

1 Stunde 7 Minuten
vor 7 Stunden
Bringt uns Programmieren bei - mit Fredo Erxleben (Code for Thought)

Bringt uns Programmieren bei - mit Fredo Erxleben (Code for Thought)

31 Minuten
vor 7 Stunden
Klimawandel und Kipppunkte - Wird die Debatte zu panisch geführt? (DLF Kultur, Zeitfragen)

Klimawandel und Kipppunkte - Wird die Debatte zu panisch geführt? (DLF Kultur, Zeitfragen)

44 Minuten
vor 7 Stunden
Alle Episoden anzeigen
In Podcasts werben
Schalte jetzt Werbung in Podcasts.
Episode melden

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

Worum geht es? Danach fragen wir noch nach dem Grund.

Teilen

Mein Archiv

Deine Privatkopie der Folgen, die du nicht verlieren willst.

Podcast-Folgen verschwinden. Feeds werden auf die letzten Episoden gekürzt, Hoster räumen alte Dateien ab, Formate wechseln den Anbieter und lassen ihr Archiv zurück. Mit „Mein Archiv“ sichert podcast.de die Folgen deiner Podcasts für dich — angefangen bei den ältesten, denn die sind zuerst weg.

  • Deine gesicherten Folgen bleiben hörbar, auch wenn das Original offline geht.
  • Auch Folgen, die im heutigen Feed gar nicht mehr stehen — podcast.de kennt sie noch.
  • Herunterladen bleibt möglich, solange die Folge beim Podcaster liegt. Der zählt seine Abrufe wie bisher.
Startet bald

Sei beim Start von Mein Archiv dabei

Mein Archiv ist fast fertig. Trag dich ein, dann bekommst du eine E-Mail, sobald es losgeht – und bist von Anfang an dabei. Wir schreiben dir nur zum Start, keine Werbung, keine Weitergabe deiner Daten.

Du bekommst zuerst eine Bestätigungsmail. Abmelden geht jederzeit. Datenschutz