KI kann inzwischen komplexe mathematische Beweise liefern, ersetzt aber nicht die menschliche Kontrolle, Formalisierung und die Bewertung durch die wissenschaftliche Gemeinschaft.
In der Folge berichtet Christoph Drösser von der Mathematikkonferenz in Philadelphia und davon, wie er eine KI (Gemini) nutzte, um einen fehlenden Beweisschritt seiner eigenen Diplomarbeit von 1985 zu prüfen. Diskussionsteilnehmer wie Alex Kontorowitsch und Bryna Krah betonen, dass KI viele Beweisaufgaben übernehmen kann, die Einbettung in das mathematische Gesamtgebäude und gemeinschaftliche Standards jedoch weiter menschliche Arbeit erfordern. Susanne Prediger erläutert die Folgen für den Mathematikunterricht: KI bietet Lernhilfe, verstärkt aber zugleich die Notwendigkeit neuer Prüfungsformate und Lehrziele.
Zahlen & Fakten
92 %
Ergebnis eines 2023 durchgeführten Tests: ChatGPT war besser als 92 % der getesteten Personen bei einfachen Aufgaben.
1000 $
Höhe mancher Preisgelder, die Paul Erdős für gelöste Probleme aussetzte.
1985
Jahr, in dem Christoph Drösser seine Diplomarbeit schrieb.
Weitere 4 Zahlen & Fakten anzeigenWeniger anzeigen
1000
Über 1000 Zuhörer drängten sich zu Terence Taos Vortrag 'Mathematik im Zeitalter der KI'.
2006
Jahr, in dem Terence Tao die Fields‑Medaille erhielt (im Gespräch als Referenz genannt).
10
OpenAI verkündete Lösungen zu zehn Problemen, die teils seit Jahren offen waren.
2022
Ende 2022 erschien ChatGPT — Referenzpunkt für die schnelle Entwicklung der KI‑Fähigkeiten in Mathematik.
Rubriken
Themen & Erkenntnisse
Quellen
• Leidener Erklärung (Empfehlungen und Prinzipien zum Umgang mit KI in der Mathematik, veröffentlicht nach einem Workshop in Leiden)
• RedeTerence Tao: Vortrag 'Mathematik im Zeitalter der KI' (bei der internationalen Mathematikkonferenz in Philadelphia)
Alle Quellen findest du in der vollständigen FolgeWer spricht
MMax RaunerHOST
Max Rauner ist Wissenschaftsjournalist und Host bei ZEIT WISSEN; in der Folge übernimmt er Moderationspassagen und verweist auf das Magazin/Angebote der Redaktion.
Alle Auftritte von Max Rauner →CChristoph DrösserGAST
Moderator und Redakteur bei Deutschlandfunk, berichtet über die Verleihung der Fields-Medaillen 2026 live von der Veranstaltung in Philadelphia für die Wissenschaftssendung Forschung aktuell.
Alle Auftritte von Christoph Drösser →SSusanne PredigerGAST
Susanne Prediger ist Mathematikdidaktikerin an der TU Dortmund. Im Gespräch erklärt sie, wie KI die Lehr‑Lern‑Situationen in der Mathematik verändert, welche Risiken (Delegation statt Verstehen) und Chancen (interaktive Erklärungen) entstehen und warum Prüfungsformate und Bildungsziele überdacht werden müssen.
Alle Auftritte von Susanne Prediger →AAlex KontorowitschGAST
Alex Kontorowitsch ist Mathematiker an der Rutgers University, der selbst viel mit KI arbeitet. Er beschreibt den mathematischen Erkenntnisprozess in vier Phasen (Finden, Erklären, Formalisieren, Kanonisieren), betont die Bedeutung menschlicher Kommunikation—etwa informeller Gespräche—bei der Einordnung maschineller Beweise und sieht sowohl Chancen als auch die Notwendigkeit von Standards.
Alle Auftritte von Alex Kontorowitsch →BBryna KrahGAST
Bryna Krah von der Northwestern University war an einem Workshop in Leiden beteiligt und spricht in der Folge über die dort formulierten Empfehlungen (die 'Leidener Erklärung'), mit denen die Mathematikgemeinschaft gemeinschaftliche Werte, Transparenz und Regeln für den Einsatz von KI in Forschung und Publikation festlegen möchte.
Alle Auftritte von Bryna Krah →KIDieser Inhalt wurde KI-gestützt erstellt und redaktionell geprüft.
Ähnliche Folgen
SWR2 Wissen · 15. Aug. 2026
Wie KI die Schule und das Lernen beeinflusst
Künstliche Intelligenz kann Lernen und Unterricht sinnvoll unterstützen, verlangt aber systematisches Lehren von Prüfstrategien, didaktischer Einbettung und rechtlicher sowie pädagogischer Begleitung.
F.A.Z. Podcast für Deutschland · 14. Aug. 2026
Die großen Fragen der Menschheit (6): Löscht die KI uns aus?
KI wird in Lindau als zugleich mächtiges Forschungsmittel und gefährliches Risiko gesehen: Forscher wie Brian Schmidt, John Jumper, Thomas Südhoff, Jim Rakete, Jan Kuchanowski und Joachim Müller-Jung betonen Chancen, aber warnen vor Kontrollverlust und Dual‑Use‑Gefahren.
KI-Update – heise · 17. Aug. 2026
KI-Update kompakt: KI-Brillen, Selbstbewusstsein, Sicherheitslücken, KI-Musik
Die Folge fasst aktuelle Debatten und Vorfälle rund um KI zusammen: Datenschutzfragen bei Smart‑Glasses, eine Studie zu modelliertem 'Selbstbewusstsein', Sicherheitsmängel bei großen KI‑Firmen und die rasante Verbreitung von KI‑Musik.
Sicherheitshalber · 18. Aug. 2026
#110 Wirtschaft, Wissenschaft, Waffen: KI bedeutet Macht! | Schraubt Putin am Risiko?
Künstliche Intelligenz ist eine zentrale Machtressource in Krieg und Geopolitik — Europa muss eigene KI‑Fähigkeiten entwickeln und gleichzeitig Regeln für Mensch‑Maschine‑Interaktion durchsetzen, so Frank Sauer, Ulrike Franke, Thomas Wiegold und Carlo Masala.
Computer und Kommunikation – DLF · 15. Aug. 2026
KI Sicherheit / Soofi-S Offenes Sprachmodell / Chatten mit Produktionsmaschinen
KI schafft neue Sicherheitsrisiken und -chancen: Die Sendung beschreibt Sicherheitsherausforderungen und -lösungen durch KI (Achim Killer), stellt das offene deutsche Sprachmodell SOFI‑S vor (Moritz Metz) und zeigt spezialisierte Anwendungen wie chatfähige Produktionsmaschinen (Matthias Schneider).
Der KI-Podcast · 18. Aug. 2026
Hacken KIs jetzt einfach ALLES, STÄNDIG, ÜBERALL?
KI-Modelle entdecken zunehmend Sicherheitslücken und können — versehentlich oder im Rahmen von Tests — in andere Systeme eindringen oder Angriffe automatisieren.