Mathematikerverband fordert Verzicht auf KI – Streit um Beweise und Forschungsverständnis

Die Kritik richtet sich auch gegen Anreize und Autorenschaft

In der von der NZZ wiedergegebenen Erklärung von 25 Trägern der Fields-Medaille wird kritisiert, dass KI-Unternehmen mathematische Beweise vor allem als Leistungsnachweis ihrer Systeme einsetzen könnten. Besonders prestigeträchtige, lange ungelöste Probleme seien dafür attraktiv. Diese Einschätzung ist den Unterzeichnern zuzurechnen und belegt für sich genommen nicht die Motive jedes einzelnen Unternehmens. Sie beschreibt aber einen möglichen Konflikt: Wissenschaftliche Erkenntnis und die öffentliche Demonstration technischer Leistungsfähigkeit müssen nicht dasselbe Ziel verfolgen. [4]

Auch die AHM beanstandet, Unternehmen hätten mathematische Probleme ausgewählt, um für die Fähigkeiten ihrer Produkte zu werben. Der Verband verweist in diesem Zusammenhang auf Klagen gegen OpenAI, in denen unter anderem Urheberrechtsverletzungen vorgeworfen würden. Die vorliegenden Texte erläutern weder den Stand dieser Verfahren noch entscheiden sie über die erhobenen Vorwürfe; sie erlauben daher keine weitergehende Aussage zu deren Berechtigung. [1]

Für mathematische Publikationen berührt die Diskussion damit Fragen, die auch in anderen Forschungsfeldern relevant sind: Wie werden Beiträge zugeschrieben? Welche Hilfsmittel kamen zum Einsatz? Und wie lässt sich die Herkunft einer Argumentation nachvollziehen? Dass diese Fragen durch KI-Systeme praktisch aufgeworfen werden, ist eine Analyse der geschilderten Bedenken – nicht der Nachweis, dass KI-generierte Arbeiten grundsätzlich unzuverlässig wären. [1] [4]

Boykott, pragmatische Nutzung und unterschiedliche Mitgliedschaftsregeln

Die AHM setzt auf einen organisierten Verzicht. t3n berichtet, Mitglieder verpflichteten sich nach den Richtlinien des Verbands, keine KI-generierten mathematischen Texte zu veröffentlichen und KI-Modelle auch nicht zu Forschungszwecken zu nutzen. Die NZZ beschreibt die Beitrittsbedingungen differenzierter: Demnach müssen Mitglieder versichern, nicht für eine KI-Firma zu arbeiten und keine KI-generierten Texte zu veröffentlichen; ein weitergehender Verzicht auf KI bei zentralen mathematischen Aktivitäten könne zusätzlich zugesagt werden. [1] [4]

Die Beschreibungen weichen beim Umfang der Verpflichtung voneinander ab. Die verfügbaren Quellen klären nicht, ob dies auf verschiedene Mitgliedschaftsstufen, eine Änderung der Regeln oder unterschiedliche Zusammenfassungen zurückgeht. Entsprechend lässt sich aus ihnen keine einheitliche, abschließende Regel für alle Mitglieder ableiten. Sicher ist, dass die AHM den Einsatz von KI in der mathematischen Arbeit begrenzen will und eine Beendigung der Zusammenarbeit mit OpenAI fordert. [1] [4]

Die Position des Verbands ist nicht mit einem Konsens der gesamten Mathematik gleichzusetzen. Die NZZ schildert unterschiedliche Reaktionen: Einige Forschende reagierten mit grundsätzlicher Ablehnung, andere wollten KI gezielt als Werkzeug einsetzen. Der an der ETH Zürich tätige Mathematiker Alessio Figalli etwa hielt es dem Bericht zufolge für falsch, die Technologie grundsätzlich zu ignorieren. Er nutze KI mit Bedacht und sehe mögliche Anwendungen etwa beim Verständnis mathematischer Probleme oder bei der Überprüfung von Beweisen. Zugleich betrachtete er den von OpenAI beschriebenen Brute-Force-Ansatz nicht als Vorbild für mathematische Forschung. [4]

Folgen für Lehre und wissenschaftliche Publikationen

Die Kritik der AHM betrifft auch die Ausbildung. Das Linux-Magazin gibt die Warnung des Verbands wieder, KI-Werkzeuge könnten die Ausbildung von Studierenden und Promovierenden gefährden. Zudem gerieten Fachzeitschriften durch eine Zunahme KI-unterstützter Beiträge unter Druck, während sich Publikationsprozesse veränderten. Das sind Befürchtungen der AHM, keine in den vorliegenden Quellen mit Kennzahlen belegte Messung der tatsächlichen Einreichungsentwicklung. [3]

Die Sorge um die Lehre knüpft an einen konkreten Lernkonflikt an: Wenn ein System Lösungsschritte bereitstellt, kann eine Aufgabe schneller erledigt werden, ohne dass Lernende den mathematischen Weg selbst durchdringen. Die NZZ berichtet, Kassmann habe darauf hingewiesen, dass es durch KI leichter werde, sich selbst ein Verständnis vorzutäuschen. Er sieht die Universitäten deshalb vor der Aufgabe, den Wert des Lernens und Verstehens weiterhin zu vermitteln. [4]

Für Hochschulen und Forschungsorganisationen folgt daraus keine pauschale Pflicht, KI entweder vollständig zuzulassen oder zu verbieten. Als Analyse lässt sich vielmehr festhalten: Wo KI in Lehre, Begutachtung oder Forschung eingesetzt wird, sollten Institutionen unterscheiden, ob sie bei einer Nebenaufgabe unterstützt, einen Beweis erzeugt oder eine fachliche Beurteilung ersetzt. Die von der AHM und den in der NZZ zitierten Forschenden aufgeworfenen Fragen zu Verständnis, Transparenz und Autorenschaft liefern dafür konkrete Prüfpunkte. [1] [3] [4]

Ein Wettbewerb zeigt eine eng begrenzte Alternative

Ein Beispiel aus Deutschland verdeutlicht, dass KI-Nutzung nicht zwingend als Alles-oder-nichts-Entscheidung organisiert werden muss. Nach Angaben der Universität Paderborn gewannen der Mathematiker Jürgen Klüners von der Universität Paderborn und Gunter Malle von der Rheinland-Pfälzischen Technischen Universität Kaiserslautern den internationalen IGP24-Wettbewerb. Die mathematischen Berechnungen führten sie demnach ohne KI durch; KI half ihnen lediglich dabei, Skripte für die Einreichung ihrer Ergebnisse zu entwickeln. [5]

Der Wettbewerb behandelte das Umkehrproblem der Galoistheorie für den Grad 24. Die Universität beschreibt die Aufgabe als umfangreich: Zu berücksichtigen waren 25.000 Gruppen und 165.836 verschiedene Signaturen. Das Team habe mehr als 143.000 relevante Polynome entdeckt. Diese Angaben stammen aus der Mitteilung der Universität, die zugleich erklärt, dass andere Teams bei ihren Arbeiten KI eingesetzt hätten. [5]

Das Beispiel entscheidet die Grundsatzfrage nicht. Es zeigt aber eine praktikable Trennung zwischen dem mathematischen Kern einer Arbeit und unterstützenden Abläufen wie der Einreichung von Ergebnissen. Für Unternehmen und Forschungseinrichtungen ist diese Differenzierung analytisch relevant: Regeln können präziser sein, wenn sie konkrete Tätigkeiten benennen, statt nur allgemein von „KI-Nutzung“ zu sprechen. Das Beispiel belegt nicht, dass diese Trennung in jedem Forschungsprojekt gleichermaßen sinnvoll oder umsetzbar ist. [5]

Offene Aufgabe: gemeinsame Standards für KI in der Mathematik

Neben Protest und Boykott beschreibt die NZZ institutionelle Ansätze, die auf Dialog zielen. Am Institute for Advanced Study in Princeton sei eine Advisory Group on Mathematics and Artificial Intelligence gegründet worden, die KI-Unternehmen dabei beraten soll, mathematische Resultate verantwortungsvoll darzustellen. OpenAI habe erklärt, mit der Gruppe zusammenarbeiten zu wollen. Die NZZ berichtet zugleich, dass die Erklärung der Fields-Medaillenträger kritisiert worden sei, weil sie keine konkreten Empfehlungen für eine fruchtbare Zusammenarbeit enthalte. [4]

Damit stehen sich nicht schlicht „Mathematik“ und „KI“ gegenüber. Der Konflikt dreht sich auch darum, welche Standards für den Einsatz gelten sollen: Wie werden maschinell erzeugte Beweise überprüft? Wie können Menschen ihre Argumentation nachvollziehen? Welche Rolle spielen transparente Autorenschaft und die Ausbildung? Und wie sollte ein Unternehmen Resultate kommunizieren, ohne technische Leistungsdemonstration mit wissenschaftlicher Anerkennung gleichzusetzen? Diese Fragen ergeben sich aus den von der AHM, den Fields-Medaillenträgern und den in der NZZ zitierten Forschenden geäußerten Bedenken. [1] [4]

Für die betriebliche Forschung lautet die nüchterne Konsequenz nicht, dass KI-generierte Mathematik pauschal wertlos wäre. Ebenso wenig belegen die Quellen, dass die Fähigkeit von KI-Systemen, Beweise zu erzeugen, die menschliche Mathematik ersetzen könnte. Sie zeigen vielmehr eine Auseinandersetzung über Beweisqualität, Nachvollziehbarkeit und die institutionellen Bedingungen, unter denen technische Ergebnisse zu wissenschaftlichem Wissen werden. [1] [4]

Quellen

1. [1] KI-Boykott: 1.000 Mathematiker gründen Verband gegen OpenAI — https://t3n.de/news/mathematiker-verband-ki-boykott-openai-1769673 (abgerufen am 2026-10-31)
2. [3] Mehr als 1000 Mathematiker verzichten auf KI — https://www.linux-magazin.de/news/mehr-als-1000-mathematiker-verzichten-auf-ki (abgerufen am 2026-10-31)
3. [4] Brandbriefe nach KI-Erfolg: Mathematik in der Zeitenwende — https://www.nzz.ch/wissenschaft/nach-dem-ki-tsunami-mathematiker-reagieren-auf-die-neue-realitaet-mit-brandbriefen-ld.10024272 (abgerufen am 2026-10-31)
4. [5] Deutsche Mathematiker setzen sich in internationalem Wettbewerb gegen KI durch | Universität Paderborn — https://www.uni-paderborn.de/nachricht/161090 (abgerufen am 2026-10-31)