Im Sommer 2025 erreichte die Künstliche Intelligenz (KI) in der Mathematik einen entscheidenden Wendepunkt. Während der Internationalen Mathematik-Olympiade lösten mehrere KI-Modelle fünf von sechs anspruchsvollen Aufgaben. Dieser Erfolg verwandelte anfängliche Skepsis unter Mathematikern in ernsthafte Neugier. Es zeigte sich, dass diese Systeme nicht nur komplexe Rätsel lösen, sondern auch dabei helfen, echte neue Ergebnisse zu entdecken und zu beweisen. Was früher Wochen oder Monate dauerte, schaffen sie nun in Tagen. Der Fields-Preisträger Terence Tao bezeichnete 2025 als das Jahr, in dem KI für viele verschiedene Aufgaben wirklich nutzbar wurde. Bereits 2026 wurde die Kompetenz der Algorithmen weiter bestätigt. Bei der Herausforderung „First Proof" gelang es KI-Systemen, über die Hälfte von zehn Forschungsfragen zu lösen, die so gewählt waren, dass sie nicht im Trainingsmaterial der Modelle vorkamen. Experten wie Daniel Litt sehen darin einen Moment, in dem KI die Mathematik grundlegend verändert hat, ähnlich wie der Übergang von der Grundschule zur Universität. Während niemand erwartet, dass KI menschliche Mathematiker ersetzt, führt sie zu tiefgreifenden institutionellen und kulturellen Umbrüchen. Einige Forscher verlassen die Akademie, um in Tech-Giganten wie Google oder OpenAI sowie in spezialisierten Startups zu arbeiten, da dort die Kombination aus maschinellem Lernen und mathematischer Präzision als Schlüssel zur allgemeinen Intelligenz gilt. Die Entwicklung basierte auf jahrelanger Arbeit. Seit 2018 experimentierte DeepMind mit mathematischen Problemen, doch erst ab 2024 wurden signifikante Fortschritte erzielt. Ein Team unter Beteiligung von Terence Tao entwickelte das System AlphaEvolve, das KI-Modelle nutzt, um Programmcodes zu generieren und durch genetische Algorithmen zu optimieren. Dies ermöglichte die Lösung zahlreicher Probleme, die sonst Experten monatelange Arbeit gekostet hätten. In der angewandten Mathematik half das Modell ChatGPT dem Forscher Ernest Ryu, eine seit 42 Jahren offene Frage der Optimierungstheorie zu beweisen. Obwohl die KI Fehler machte, diente sie als kreativer Gesprächspartner, der den Forschungsprozess beschleunigte. Auch in der abstrakten algebraischen Kombinatorik entdeckte KI unerwartete Strukturen. Bei der Analyse von Permutationsgruppen identifizierte AlphaEvolve eine verborgene Geometrie, die den Forschern zuvor entgangen war. In der algebraischen Geometrie gelang es Ravi Vakils Team mit Unterstützung von Gemini, elegante Beweise zu führen, die bisher nicht offensichtlich waren. Diese Zusammenarbeit wirft Fragen nach der Urheberschaft auf, bestärkt aber die These, dass KI als mächtiges Werkzeug dient, um menschliches Denken zu ergänzen. Gleichzeitig gibt es berechtigte Bedenken. Es gibt eine Sorge vor einer Flut von unzuverlässigen Inhalten in Fachzeitschriften. Daher setzen Mathematiker verstärkt auf formale Beweise, bei denen Computerlogik die Korrektheit garantiert. Die Ausbildungssituation stellt sich ebenfalls als Herausforderung dar. Da KI Hausaufgaben sofort lösen kann, müssen Lehrpläne angepasst werden, um nicht die Entwicklung kritischen Denkvermögens bei Studierenden zu behindern. Während KI als „Springroboter" kurze Hindernisse meisterhaft überwindet, fehlt ihr oft noch die strategische Planungsfähigkeit für die größten mathematischen Probleme. Dennoch ist der Konsens, dass sich die Mathematik in den nächsten zwei Jahrzehnten grundlegend wandeln wird, wobei die menschliche Intuition und kulturelle Bedeutung der Disziplin bewahrt werden müssen.