- Viele Mathematiker sind der Ansicht, dass das Fachgebiet eine der schnellsten Veränderungen in der Geschichte durchläuft, da die KI ihre Fähigkeiten zur Problemlösung und zum Beweis von Theoremen rasant verbessert.
- Im Jahr 2025 wettete der Mathematiker Daniel Litt, dass die Wahrscheinlichkeit, dass eine KI bis 2030 eine mathematische Arbeit auf dem Niveau von Spitzenmathematikern verfasst, nur bei 25 % liegt. Doch nur ein Jahr später räumte er ein, die Wette wahrscheinlich zu verlieren.
- Vor wenigen Jahren konnte KI kaum Aufgaben für die Oberstufe lösen, doch heute bewältigt sie Probleme, die in der tatsächlichen mathematischen Forschung auftreten.
- KI-Systeme von Unternehmen wie OpenAI und Google DeepMind haben Leistungen erbracht, die einer Goldmedaille bei der Internationalen Mathematik-Olympiade entsprechen.
- Im Januar 2026 begannen Mathematiker, KI einzusetzen, um einige der langjährigen Probleme zu lösen, die von Paul Erdős vorgeschlagen wurden.
- Ein neues Projekt namens First Proof, initiiert von Nikhil Srivastava an der UC Berkeley, zielt darauf ab, eine Sammlung realer Forschungsaufgaben zu erstellen, um die mathematischen Fähigkeiten der KI zu bewerten.
- Der erste Testdatensatz besteht aus 10 Aufgaben aus verschiedenen mathematischen Bereichen mit mittlerem bis fortgeschrittenem Schwierigkeitsgrad.
- Die KI von OpenAI hat laut Expertenbewertungen etwa 5 von 10 Aufgaben korrekt gelöst, während das System von Google DeepMind 6 von 10 löste.
- Google entwickelte ein mathematisches KI-Tool namens Aletheia, das den Chatbot Gemini mit Verifizierungsalgorithmen kombiniert, um Fehler in Lösungen zu erkennen und Ergebnisse durch Iterationen zu verbessern.
- Neben der Problemlösung macht die KI Fortschritte bei der Umwandlung handgeschriebener Beweise in computervalidierbaren Code, die sogenannte Formalisierung.
- Das Unternehmen Math, Inc. überraschte die Fachwelt, als seine KI Gauss automatisch den Fields-Medaillen-Beweis von Maryna Viazovska zum Kugelpackungsproblem formalisierte und verifizierte.
- Der von der KI erstellte Beweis umfasst etwa 200.000 Zeilen Code, was etwa 10 % der gesamten formalisierten Mathematik weltweit entspricht.
- Forscher glauben, dass KI in Zukunft automatisch neue mathematische Arbeiten prüfen und Fehler im akademischen Begutachtungsprozess entdecken kann.
📌 Fazit: Die KI verändert die Art und Weise, wie Mathematik betrieben wird, grundlegend. KI-Systeme haben im First-Proof-Projekt 5 bis 6 von 10 Forschungsaufgaben gelöst und sogar einen Fields-Medaillen-Beweis mit 200.000 Zeilen Code automatisch formalisiert. Diese Technologie kann Beweise automatisch validieren und die Forschung unterstützen, weckt jedoch auch die Sorge, dass Menschen Lernmöglichkeiten verlieren könnten, wenn Maschinen Probleme zu schnell lösen.
