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

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

Listen now

Description

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

More Episodes

See all »

Wie Leugner den Klimaschutz ausbremsen (DLF, Wissenschaft im Brennpunkt)

Flutkatastrophen, Waldbrände, Dürren – die Folgen des Klimawandels sind längst spürbar. Trotzdem wächst der Einfluss von Klimawandelleugnern. Ihre Ziele: Zweifel streuen, Klimaschutzmaßnahmen verzögern, die Forschung diskreditieren. Von Jonas Reese und Christopher Weingart Quelle:...

Published 08/19/24

Der allererste Crypto War (Geschichten aus der Mathematik)

In den 1970er-Jahren ist Martin Hellman der erste Mathematiker, der zu Kryptografie forscht. Damit zieht er den Groll der NSA auf sich, denn der US-Auslandsgeheimdienst sieht seine eigenen Bestrebungen gefährdet. Quelle: https://detektor.fm/wissen/geschichten-aus-der-mathematik-martin-hellman /...

Published 08/19/24

Wissenschaft auf die Ohren

Published 08/19/24