Mehr als 1.000 Mathematiker haben sich gegen den Einfluss kommerzieller KI-Unternehmen zusammengeschlossen. Der Streit mit OpenAI betrifft Beweise, Forschungsfreiheit und die Frage, was mathematischer Fortschritt bedeutet.
Was hinter dem KI-Boykott gegen OpenAI steckt
Die Association for Human Mathematics, kurz AHM, will Mathematik als menschliche Tätigkeit schützen. Sie sieht durch KI und wirtschaftliche Interessen die Unabhängigkeit ihres Fachgebiets gefährdet. Nach ihrem Verständnis entstehen mathematische Fähigkeiten durch eigenes Schreiben, sorgfältiges Denken und die intensive Beschäftigung mit Problemen. Werden diese Tätigkeiten automatisiert, könne darunter die Grundlage künftiger Forschung leiden. Das ist die Position des Verbands, keine allgemein anerkannte Bewertung der Technologie. Quelle: Selbstverständnis der AHM
t3n berichtet über mehr als 1.000 Mitglieder. Bei den damit verbundenen Verpflichtungen lohnt sich allerdings ein genauer Blick: Mitgliedschaft und vollständiger KI-Verzicht in der Forschung sind unterschiedliche Dinge.
1.008 Mitglieder, aber kein einheitlicher KI-Verzicht
Die beim Abruf am 31. Oktober 2026 veröffentlichte Mitgliederseite nennt 1.008 Mitglieder. Davon gehören 654 einer freiwilligen Gruppe namens AI-free caucus an. Die AHM aktualisiert ihre öffentliche Liste nach eigenen Angaben ungefähr wöchentlich. Die Zahlen beschreiben deshalb den veröffentlichten Listenstand.
Für alle Mitglieder gelten zwei grundsätzliche Verpflichtungen:
- Sie unterstützen kommerzielle KI-Unternehmen nicht durch technische Arbeit, mathematisches Wissen, Beratung oder Öffentlichkeitsarbeit.
- Sie veröffentlichen keine von KI-Modellen erzeugten mathematischen Texte. Das umfasst beispielsweise Fachartikel, Gutachten, Vorlesungsunterlagen und Lehrbücher.
Der zusätzliche Verzicht auf KI-Modelle für Forschungszwecke gilt für den AI-free caucus. Dessen Mitglieder suchen etwa nach Beweisen, untersuchen Beispiele und formulieren Forschungsfragen ohne entsprechende KI-Abfragen. Die Aussage, sämtliche Mitglieder hätten sich zu diesem Forschungsverzicht verpflichtet, wäre daher zu pauschal. Quelle: Mitgliedschaftsregeln und Mitgliederzahlen der AHM
Warum OpenAIs Veröffentlichung den Konflikt verschärft
Ein konkreter Anlass ist die Veröffentlichung einer großen Sammlung mathematischer Dokumente durch OpenAI am 6. Oktober 2026. Die AHM spricht in ihrer darauffolgenden Stellungnahme von mehr als 700 Dateien mit beanspruchten Lösungen bedeutender mathematischer Probleme.
Der Verband kritisiert sowohl das Vorgehen als auch den damit verbundenen Fortschrittsanspruch. Aus seiner Sicht dient die gebündelte Veröffentlichung vor allem dazu, die Leistungsfähigkeit des Unternehmens zu demonstrieren. Er fordert Mathematiker ausdrücklich auf, ihre Zusammenarbeit mit OpenAI einzustellen. Quelle: AHM-Stellungnahme zur Veröffentlichung
Dabei sollte man zwei Fragen auseinanderhalten: Ist ein vorgelegter Beweis korrekt? Und unterstützt die Art seiner Veröffentlichung eine funktionierende Wissenschaft? Kritik am Veröffentlichungsprozess beantwortet die erste Frage noch nicht. Umgekehrt klärt ein korrektes Ergebnis nicht automatisch Fragen nach Zugang, Anerkennung und Forschungsbedingungen.
Ein Beweis muss auch verstanden werden
Ein mathematischer Beweis zeigt durch nachvollziehbare logische Schritte, warum eine Aussage gilt. Für weitere Forschung ist darüber hinaus entscheidend, welche Ideen dahinterstecken und wo sich diese erneut einsetzen lassen.
Eine Analogie aus der Softwareentwicklung hilft: Ein Programm kann für eine Aufgabe das richtige Ergebnis liefern. Wer es erweitern oder seine Grenzen beurteilen soll, braucht trotzdem Verständnis für seine Funktionsweise. Bei mathematischer Forschung kommt hinzu, dass neue Begriffe und Methoden oft ebenso wertvoll sind wie die beantwortete Ausgangsfrage.
Auch die unabhängige Advisory Group on Mathematics and Artificial Intelligence, kurz AGMAI, betont diesen Unterschied. Sie bezeichnet die Veröffentlichung von KI-Ergebnissen als Beginn des menschlichen Verständnisprozesses. Ihre beratende Rolle sei keine Zustimmung zum gesamten Vorgehen OpenAIs. Zugleich hält die Gruppe am Austausch mit KI-Unternehmen fest. Quelle: AGMAI-Stellungnahme vom 6. Oktober
Welche Alternative zur Veröffentlichungspraxis diskutiert wird
Die AGMAI formuliert konkrete Anforderungen an KI-generierte mathematische Arbeiten. Dazu gehören nachvollziehbare Literaturverweise, zitierfähige Veröffentlichungen außerhalb unternehmenseigener Plattformen und Informationen über den Entstehungsprozess. Genannt werden beispielsweise verwendete Modelle, Prompts, Versuche und Rechenkosten.
Außerdem sollen unabhängige Einrichtungen die Entwicklung menschlichen Verständnisses unterstützen, etwa durch Workshops und Arbeitsgruppen. Welche Vorhaben gefördert werden, sollten nach diesem Vorschlag weder KI-Unternehmen noch die AGMAI selbst bestimmen. Quelle: AGMAI-Empfehlungen vom 25. Oktober
Darin liegt für mich der praktisch wichtigste Teil der Debatte. Die Zahl veröffentlichter Lösungen sagt allein wenig darüber aus, wie zugänglich und nutzbar das gewonnene Wissen ist. Wer mathematischen Fortschritt beurteilen will, sollte deshalb auch fragen: Können andere die Argumente prüfen, die Methoden verstehen und darauf eigenständig weiterforschen?
FAQ
Warum rufen Mathematiker zum Boykott von OpenAI auf?
Die Association for Human Mathematics kritisiert OpenAIs Veröffentlichungspraxis und den Einfluss kommerzieller KI-Unternehmen auf die Forschung. Sie will menschliches Verständnis und wissenschaftliche Unabhängigkeit schützen.
Verzichten alle Mitglieder der AHM vollständig auf KI?
Nein. Alle Mitglieder verpflichten sich gegen bestimmte Kooperationen mit kommerziellen KI-Unternehmen und gegen die Veröffentlichung KI-generierter mathematischer Texte. Der zusätzliche Verzicht auf KI in der Forschung ist freiwillig.
Wie viele Mitglieder hat die Association for Human Mathematics?
Die beim Abruf am 31. Oktober 2026 veröffentlichte Mitgliederseite nennt 1.008 Mitglieder. Davon gehören 654 der freiwilligen Gruppe an, die auf KI-Modelle in der Forschung verzichtet.
