Sveriges mest populära poddar
Wissenschaft auf die Ohren
Wissenschaft auf die Ohren

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

29 min•12 juli 2024
Logga in för att spara

Om avsnittet

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

Fler avsnitt

Visa alla avsnitt av Wissenschaft auf die Ohren

Maryna Viazovska und das Problem mit den achtdimensionalen Pralinen (Geschichten aus der Mathematik)

29 min

Gravitationswellenforschung (Raumzeit)

1 tim 51 min

Die Wirtschaftswissenschaft versteht das Klima nicht (Das Klima))

37 min

Die unsichtbare Arbeit der Wissenschaftlichen Dienste des Bundestags (DLFK Zeitfragen)

29 min

Wissenschaftliches Bohren (Forschungsquartett)

19 min

Wie kann Forschung das Leben auf dem Planeten verbessern? (Forschungsquartett)

29 min

AD(H)S bei Erwachsenen (Forschungsquartett)

14 min

Auf der Suche nach dem schwarzen Blatt (DLF Wissenschaft im Brennpunkt)

29 min

Selbstwirksamkeit - auch politische Entscheider zweifeln (ZEIT Auch das noch)

55 min

Bürokratie: Steuergelder fließen oft zu großem Teil in Anträge statt Forschung (DLF Forschung aktuell)

9 min

Wissenschaft auf die Ohren med Helmholtz-Gemeinschaft finns tillgänglig på flera plattformar. Informationen på denna sida kommer från offentliga podd-flöden.