Am 11. September 2026 veröffentlichten 25 Träger der renommierten Fields-Medaille einen gemeinsamen offenen Brief. Darin werfen sie kommerziellen KI-Unternehmen vor, das Lösen mathematischer Probleme lediglich als Maßstab für rohe Rechenkapazität zu missbrauchen – ein Vorgehen, das in fundamentalem Widerspruch zu den langfristigen Zielen der akademischen Forschung stehe. Sechs Tage später trat Tim Gowers, selbst Fields-Medaillenträger, an die Öffentlichkeit und begründete, warum er die Unterschrift verweigerte. Damit brachte er die bislang unter der Oberfläche schwelenden Gräben innerhalb der mathematischen Gemeinschaft offen auf den Tisch.
Abbildung: Das Manuskriptarchiv von Alexander Grothendieck im Keller einer Buchhandlung im 6. Pariser Arrondissement. Quelle: David Bessis, „The fall of the theorem economy“
40 Millionen Dollar für den Erstzugriff auf ein Jahrhundert-Gegenbeispiel
Unter dem Rechenkraft-Dumping privater Technologieunternehmen hat sich das Lösen offener mathematischer Probleme in ein kommerzielles Geschäft mit festen Preisschildern verwandelt. Mitglieder der MathOverflow-Community rechneten die Dimensionen jüngst vor: Um das kürzlich bekannt gewordene Gegenbeispiel zu den Navier-Stokes-Gleichungen zu ergattern, investierten verschiedene Akteure gewaltige Summen in reine Rechenzeit. Capital&Compute schätzte die aufgewendeten Rechenkosten auf 6,5 Millionen Dollar. TensorFeed verortete die Spanne zwischen 10 und 15 Millionen Dollar. Ein Bericht von Business Insider sprach sogar von Ausgaben in Höhe von bis zu 40 Millionen Dollar. Zig Millionen Dollar auszugeben, um sich die Erstveröffentlichungsrechte an einem jahrhundertealten Gegenbeispiel zu sichern – dieser Aufkauf von Entdeckungsrechten durch privates Kapital hat die Spielregeln der Mathematik unwiderruflich verändert.
Ungelöste Vermutungen sind keine herrenlosen Ressourcen, die einfach vom Himmel gefallen sind. Sie sind das Destillat des Denkens vieler Generationen herausragender Köpfe, die diese Probleme formuliert, strukturiert und uneigennützig mit der Welt geteilt haben. KI-Konzerne behandeln diese offenen Fragen jedoch wie Open-Source-Code auf GitHub: als billigen Rohstoff für das Benchmarking ihrer Modelle. Die Systeme streichen das prestigeträchtige Recht ein, die Lösung präsentiert zu haben, und hinterlassen der Wissenschaft eine karge Landschaft ohne verbleibende Ziele.
KI hat den Prozess der Beweisführung in eine Ware verwandelt, die sich nach Rechenstunden im Großhandel erwerben lässt. Dadurch hat sich die eigentliche Knappheit in der Disziplin verlagert: Weg von der reinen Fähigkeit, einen Beweis rechnerisch zu erzwingen, hin zu zwei anderen Fragen – welche Probleme es sich überhaupt zu stellen lohnt und wie die gefundenen Antworten tiefgreifend verstanden werden können. Das strukturelle Problem liegt darin, dass das Formulieren fruchtbarer Fragen und das konzeptionelle Verstehen innerhalb des bestehenden Wissenschafts- und Fördersystems weder quantifizierbar noch direkt monetarisierbar sind.
Die Unterschrift-Verweigerung eines Kollegen legt einen blinden Fleck offen
Der offene Brief mit dem Titel A Severe Misalignment of AI in Mathematics löste in der Fachwelt heftige Erschütterungen aus. Seine zentrale These lautet: Das Lösen von Aufgaben ist lediglich ein Instrument, um zu tiefem Begriffsverständnis zu gelangen. Wer dies im KI-Zeitalter aus den Augen verliere, riskiere, dass Maschinen die eigentlichen intellektuellen Ziele der Menschheit aushöhlen. Diese absolute Überhöhung des konzeptionellen Verstehens gegenüber dem reinen Problemlösen stieß jedoch auf entschiedenen Widerstand anderer Strömungen der Mathematik.
Tim Gowers erläuterte seine Beweggründe gegen eine Unterzeichnung in einem Blogbeitrag, der wenig später auch auf der Website von Terence Tao zweitveröffentlicht wurde. Auf Hacker News entzündete sich daran eine intensive Debatte mit 242 Kommentaren bei 186 Upvotes – ein Kommentar-Verhältnis von über 1,3, das die Schärfe des Konflikts widerspiegelt. Gowers räumte zwar unumwunden ein, dass die Disziplin in einer existenziellen Krise stecke, wandte sich jedoch vehement dagegen, theoretisches Begriffsverständnis als die einzig legitime Daseinsberechtigung der Mathematik zu definieren.
Gowers stützte seine Argumentation auf seinen 25 Jahre alten Schlüsselaufsatz The Two Cultures of Mathematics. Darin hatte er herausgearbeitet, dass es in der Mathematik seit jeher zwei unterschiedliche Denkhaltungen gibt: jene, deren Antrieb das reine Lösen kniffliger Probleme ist, und jene, die nach vereinheitlichenden Theorien und Strukturen streben. Die Formulierung des offenen Briefes brandmarke die Freude am Problemlösen de facto einseitig als minderwertig. Nachdem rohe Rechenkraft den Marktwert menschlicher Problemlösungskompetenz drastisch entwertet hat, mutierte die wissenschaftliche Abwehrhaltung zu einem Kampf um kulturelle Deutungshoheit.
Abbildung: Website des offenen Briefes „A Severe Misalignment of AI in Mathematics“, unterzeichnet von 25 Fields-Medaillenträgern. Quelle: mathandai.org
Eine Cambridge-Forschungsgruppe muss eine bittere Lektion akzeptieren
Gowers argumentiert keineswegs aus einem weltfremden Elfenbeinturm heraus. Er legte seine tatsächlichen Verbindungen zu OpenAI transparent offen: Als externer Fachexperte verfügt er über Vorabzugang zu neuen Modellen sowie ein kostenfreies Pro-Konto. Zugleich betonte er, zu keinem Zeitpunkt finanzielle Forschungsgelder von dem Unternehmen angenommen zu haben. Selbst ein Vorabzugang von wenigen Tagen genügte ihm, um die zerstörerische Dynamik des technologischen Umbruchs unmittelbar zu begreifen.
An der Universität Cambridge leitet Gowers eine renommierte Forschungsgruppe für automatisierte Theorembeweise. Ihr ursprüngliches Ziel war es, maschinengestützte Systeme zu entwickeln, die menschlichen Forschern helfen, neue mathematische Strukturen aufzudecken. Moderne KI-Modelle umgehen diese sorgsam ausgetüftelten theoretischen Pfade jedoch schlichtweg, indem sie Beweise durch schiere Rechengewalt direkt erzeugen. Gowers räumte offen ein, dass die bisherige Existenzberechtigung seiner Gruppe damit hinfällig geworden sei – eine schmerzhafte Lektion, die das Team akzeptieren musste.
Öffentlich zugängliche Modelle übertreffen mittlerweile nahezu jeden menschlichen Mathematiker in der isolierten Problemlösung. Seitenlange Beweisführungen strömen in einem Tempo über den Bildschirm, das die menschliche Aufnahmefähigkeit weit übersteigt. Angesichts dieser Rechenmassen verkommt der wissenschaftliche Austausch oft zu einer Farce, bei der der menschliche Nutzer dem Modell lediglich noch ein kurzes „Danke“ eintippt. Die biologische Bandbreitengrenze des menschlichen Gehirns wird zur unüberwindbaren Wand, an der die Ausbreitung echten Verständnisses scheitert.
Niemand ist bereit, für reines Verständnis zu bezahlen
Der offene Brief enthält eine argumentativ hochgradig verletzliche Passage. Er postuliert, dass die Gesellschaft selbst dann, wenn das Finden von Beweisen nicht mehr primär Menschen obliegt, Wege finden müsse, den Wert eines ständigen Expertenkorps anzuerkennen und zu finanzieren. Diese Verteidigungslinie wurde in den Hacker-News-Kommentaren schonungslos zerlegt. Kritiker formulierten zwei unvermeidliche Kernfragen: Warum sollte die Gesellschaft Steuergelder für eine Berufsgruppe bereitstellen, die keine konkreten Resultate mehr liefert? Und nach welchen Maßstäben sollen Nachwuchswissenschaftler künftig für unbefristete Professuren evaluiert werden?
Das klassische universitäre System basiert vollständig auf Veröffentlichungen und der Beantwortung offener Fragen. Wenn ein Doktorand fünf Jahre intensiver Arbeit investiert, um ein kleines Theorem zu beweisen, ein kommerzielles KI-Modell dieselbe Lösung jedoch in fünf Minuten auswirft, verliert die traditionelle Ausbildung jedes reale Fundament. Dies ist nicht nur eine Beschäftigungskrise einzelner Mathematiker; es ist ein Kahlschlag an den Wurzeln des gesamten wissenschaftlichen Nachwuchssystems.
Solange es keine tragfähigen Kriterien gibt, um reines Begriffsverständnis in belastbare Evaluierungskennzahlen zu fassen, fehlt den Fördergremien jede Entscheidungsgrundlage. Gowers entwarf in diesem Kontext ein zugespitztes Gedankenspiel: Ein internationales Abkommen könnte die Veröffentlichung leistungsfähigerer Modelle untersagen und akademischen Institutionen das Vorrecht einräumen, zu bestimmen, welche Aufgaben Maschinen lösen dürfen. Doch derart weltfremde Regelungsträume verdeutlichen letztlich nur die tiefe Ohnmacht der Wissenschaft vor der Übermacht des privaten Kapitals.
Probleme zu verheimlichen ist sicherer, als sie zu lösen
Der Druck des kollabierenden Systems zwingt Forscher zunehmend in archaische Abwehrreflexe. Eine Diskussion auf MathOverflow verzeichnete binnen kürzester Zeit fast 5.000 Aufrufe. Der Verfasser äußerte die ernste Befürchtung, dass die mathematische Forschung in das mittelalterliche Zeitalter der Geheimhaltung zurückfallen könnte. Beraubt ihrer beruflichen Sicherheit kappen Forscher instinktiv ihre Verbindungen zu offenen Kollaborationsnetzwerken.
Die Geschichte kennt verblüffend ähnliche Phasen privater Einigelung. Im Jahr 1510 entdeckte der Mathematiker Scipione del Ferro die algebraische Lösungsformel für kubische Gleichungen, hielt seine Methode jedoch 20 Jahre lang streng geheim und verriet sie erst auf dem Sterbebett seinem Schüler Antonio Maria Fior. In jener Epoche war der Besitz exklusiver Lösungsverfahren die einzige Möglichkeit, den eigenen Lebensunterhalt zu sichern. Auch Isaac Newtons zögerliche Veröffentlichung der Infinitesimalrechnung und der jahrelange Prioritätsstreit mit Gottfried Wilhelm Leibniz folgten derselben Logik. Wenn das Teilen von Erkenntnissen die eigene Existenz bedroht, wird die Informationsblockade zum Schutzschild.
Terence Tao lieferte in den sozialen Medien eine präzise Lageanalyse: Die gegenwärtig wirklich rare Begabung bestehe darin, vielversprechende, ungelöste Probleme überhaupt erst zu identifizieren. In der aktuellen Dynamik genüge jedoch bereits das Gerücht, dass ein menschliches Team an einer bestimmten Vermutung arbeite, um KI-Unternehmen dazu zu bringen, riesige Rechencluster auf das Problem anzusetzen – und die Lösung abzuräumen, bevor das menschliche Forschungsprojekt Gestalt annehmen kann.
Abbildung: MathOverflow-Frage „How do we prevent mathematics from devolving into the medieval era of secrecy?“. Quelle: MathOverflow
Die mathematische Gemeinschaft kämpft um die Preishoheit über geistige Arbeit
Die technologische Intervention hat das Anreizsystem der Wissenschaft auf den Kopf gestellt. Wenn das Formulieren exzellenter Fragen lediglich dazu führt, dass Maschinen die Lösung und den Ruhm an sich reißen, erlischt jede Motivation, Forschungsansätze offen zu diskutieren. Gute Ideen in der Schreibtischschublade zu verschließen, wird zur einzigen Möglichkeit, die eigene Denkarbeit zu schützen. Dieser Trend zur Selbstisolation droht eine Jahrhunderte alte Tradition offener wissenschaftlicher Kultur zu zerschlagen.
Angesichts dieser systematischen Enteignung wurden in der Community zwei konkrete Abwehrstrategien erarbeitet. Der erste Vorschlag lehnt sich an das Urheberrecht an: Nur leibhaftige Menschen sollen als Autoren akademischer Arbeiten zeichnen dürfen. Bei Veröffentlichungen ohne nachweisbaren menschlichen Kernbeitrag muss zwingend offengelegt werden, dass sie maschinell erzeugt wurden. Dies soll den bequemen Weg kappen, über den Technologiekonzerne bloße Rechenkraft in wissenschaftliches Renommee ummünzen.
Der zweite Vorschlag verlangt, dass alle eingereichten Publikationen ihre vollständige Methodik offenlegen müssen – einschließlich System-Prompts, Pipeline-Architektur und externer Module. Da solche Systemstrukturen von den großen Tech-Konzernen als Betriebsgeheimnisse gehütet werden, würde eine Offenlegungspflicht die verdeckten Kosten der Prioritätsnahme drastisch in die Höhe treiben und kommerzielle Akteure ausbremsen.
Der offene Protest der 25 Fields-Medaillenträger und der Rückzug in die Geheimhaltung sind im Kern zwei Seiten derselben Medaille: der verzweifelte Versuch, menschlicher Denkarbeit wieder einen realen Wert beizumessen. Der Streit dreht sich längst nicht mehr darum, wie geschickt Algorithmen Gleichungen lösen, sondern darum, welche neuen institutionellen Regeln geschaffen werden müssen, um das unregulierte Vordringen des Kapitals einzuhegen. Ohne flankierende Schutzmechanismen wird das Rechenkraft-Dumping einer ganzen Generation von Nachwuchsforschern die Karriereleiter unter den Füßen wegziehen.
Weiterführende Links:
- Offener Brief auf MathAndAI
- Blogbeitrag von Tim Gowers
- MathOverflow-Diskussionsfaden
