Mathematik in Zeiten von KI – Beweise vom Chatbot

Einen mathematischen Satz zu beweisen, bedeutet: Lange
herumtüfteln, bis der "Heureka"-Moment kommt. Manchmal dauert das
Jahrhunderte. Dank KI wird das künftig wesentlich schneller gehen.
Doch sind diese Beweise dann noch nachvollziehbar? Von Christoph
Drösser (SWR 2024) | Manuskript und mehr zur Sendung:
http://swr.li/mathematik-ki | Hör-Tipp: Die Schule brennt – der
Bildungspodcast mit Bob Blume |
https://1.ard.de/die-schule-brennt-podcast | Bei Fragen und
Anregungen schreibt uns: daswissen@swr.de | Folgt uns auf Mastodon:
https://ard.social/@DasWissen