Mathematik in Zeiten von KI – Beweise vom Chatbot (Das Wissen, SWR2)
Wissenschaft auf die Ohren · Helmholtz-Gemeinschaft
July 12, 202428m 45s
Audio is streamed directly from the publisher (avdlswr-a.akamaihd.net) as published in their RSS feed. Play Podcasts does not host this file. Rights-holders can request removal through the copyright & takedown page.
Show Notes
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