EPISODE · Jul 12, 2024 · 28 MIN
Mathematik in Zeiten von KI – Beweise vom Chatbot (Das Wissen, SWR2)
from Wissenschaft auf die Ohren
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
NOW PLAYING
Mathematik in Zeiten von KI – Beweise vom Chatbot (Das Wissen, SWR2)
No transcript for this episode yet
Similar Episodes
Dec 30, 2024 ·19m
Dec 30, 2024 ·24m
Nov 19, 2024 ·18m
Nov 6, 2024 ·20m
Oct 23, 2024 ·15m
Oct 9, 2024 ·20m