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

Weitere Informationen zum Thema

Forschung 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?