Warnung eines Fields-Medaillenträgers: KI könnte die Mathematik töten

Nach der Verleihung der Fields-Medaille in diesem Jahr ereignete sich ein schockierendes Ereignis.

Jacob Tsimerman, Professor an der Universität Toronto, der zusammen mit Wang Hong und Deng Yu ausgezeichnet wurde, kündigte unmittelbar darauf an, zu OpenAI zu wechseln und sich der Forschung zur KI-Sicherheit zu widmen.

Seine Begründung lautet:

Innerhalb von 2 Jahren wird KI den Menschen in allen Bereichen des mathematischen Beweises vollständig übertreffen.

Am nächsten Tag äußerte Terence Tao, Fields-Medaillenträger, vor Ort auf der ICM 2026 in Philadelphia besorgt die folgende Aussage:

Ich glaube, wir treten in eine turbulente Zeit ein – eine Zeit, in der die mathematischen Werte und die Grundlagen der Praxis in eine Krise geraten.

Ein weiterer Zufall: Ein anderer Fields-Medaillenträger, Timothy Gowers, kam zu einem ähnlichen Urteil.

LLMs werden den Menschen in allen Aspekten der Lösung mathematischer Probleme sehr schnell übertreffen, möglicherweise sogar in Bereichen wie der Formulierung von Problemen, dem Aufbau von Theorien und der Festlegung von Definitionen.

Er warnt: Die Art und Weise, wie KI die Mathematik „tötet“, könnte eleganter und grausamer sein, als wir es uns vorstellen.

KI lässt die Mathematik nicht verhungern – aber sie lässt die Mathematiker „überfressen“

Nicht nur er ist ein Mathematiker, der sich vor dieser Kraft der KI fürchtet.

Am 2. Juni 2026 wurde die „Leiden-Erklärung“ offiziell veröffentlicht.

Bis heute hat die Zahl der Unterzeichner bereits 3164 Personen erreicht.

Diese Erklärung wird von der Internationalen Mathematischen Union (IMU) offiziell unterstützt. Die stellvertretende Vorsitzende Ulrike Tillmann erklärte persönlich: Mathematik war und wird auch in Zukunft immer eine tiefgreifende menschliche Tätigkeit sein.

Auf der Liste der Unterzeichner stehen ausschließlich renommierte Persönlichkeiten.

Terence Tao sagt, dies sei das Ergebnis monatelanger Diskussionen in der Gemeinschaft, und er unterstütze jede einzelne Empfehlung mit ganzer Überzeugung.

Peter Scholze äußerte sich schmerzlich berührt: Genau wie er nicht möchte, dass KI seine Kinder erzieht, nutzt er keine KI bei der Bearbeitung mathematischer Probleme und versucht, keine von KI generierten Texte zu lesen.

Kevin Buzzard, Jeremy Avigad und Steven Strogatz sind allesamt Spitzenexperten auf ihrem Gebiet.

Aber Timothy Gowers hat nicht unterzeichnet, weil sein Blickwinkel bereits über die Vorstellung „KI ersetzt Mathematiker“ hinausgeht. Er stellt sich direkt dieser kälteren, größeren und unumgänglichen ultimativen Frage:

Wenn die Beweise der KI nicht nur vollkommen korrekt sind, sondern sich unermüdlich exponentiell weiterentwickeln – wird die Mathematik dann zu einem „von niemandem besuchten“ Friedhof?

Was er fürchtet, ist nicht, dass KI Probleme zu gut löst und Mathematikern die Arbeitsplätze wegnimmt. Im Gegenteil: Die Mathematik wird nicht durch Stagnation sterben, sondern durch Überangebot.

Warum ist das so?

Gowers führte ein Gedankenexperiment durch.

Stellen Sie sich vor: KI wäre nie erfunden worden, und plötzlich bricht eine Epidemie aus, die aus irgendeinem Grund nur das Leben aller Mathematiker fordert, während alle anderen Menschen unversehrt bleiben.

Die gesamte mathematische Literatur liegt noch intakt vor, aber niemand mehr weiß, wie man sie deuten soll.

Gowers' Urteil lautet: Um eine mathematische Tradition in einer solchen Ruine wieder aufzubauen, würde es vermutlich Dutzende von Jahren dauern.

Beachten Sie: Bei dieser Katastrophe wurde nichts zerstört, der Verlust an Informationen beträgt Null.

Aber Mathematik ist weit mehr als auf Papier gedruckte Literatur – sie lebt in den Gehirnen von Mathematikern auf der ganzen Welt: Dort verbirgt sich ein riesiges Wissenssystem und tiefgreifendes fachliches Gespür.

Gowers nennt dies ein „Wunder der menschlichen Intelligenz“. Wenn die Literatur ein komprimierter Ordner ist, dann sind die Gehirne dieser Mathematiker das Passwort dazu.

Stellen Sie sich nun eine leicht abweichende Version vor.

Dieses Mal existiert KI. Und die KI steht jederzeit bereit, jedes mathematische Problem in beliebig detaillierter oder knapper Form zu erklären, wie wir es wünschen. Das raubt einen großen Teil des Spaßes an der Disziplin der Mathematik.

Und weil es die KI gibt, haben die Menschen keinen Anreiz mehr, jahrelang zu üben, um das Niveau eines heutigen gewöhnlichen forschenden Mathematikers zu erreichen.

In zehn oder zwanzig Jahren könnten wir an einen Punkt gelangen: Die mathematische Literatur erlebt eine beispiellose Blüte in irgendeiner Form, während die entsprechenden menschlichen Experten leise kollektiv verschwinden. Es gibt keine Gruppe mehr, die das Verständnis für bestimmte Bereiche teilt.

Zu diesem Zeitpunkt könnte fast die gesamte Mathematik zu einem „Denkfriedhof“ der gesamten Menschheit werden: Sie liegt in vor Jahrzehnten verfassten Arbeiten, aber niemand liest sie mehr.

Aus Gowers' Sicht ist dies eine Möglichkeit, die wir mit allen Kräften abwehren sollten.

Obwohl beide Versionen mit dem „Tod der Mathematik“ enden, stirbt die Mathematik in der ersten Version an Armut, in der zweiten an Überfülle.

Die eine wird verhungert, die andere überfressen.

Genau wie Seen können sie sowohl durch Austrocknung verschwinden als auch durch Eutrophierung „sterben“.

Eutrophierung, auch Überdüngung genannt, beschreibt den Vorgang, bei dem in Gewässern wie Seen, Flüssen und Staudämmen massenhaft Stickstoff- und Phosphornährstoffe eintreten, Algen explosionsartig wachsen, die Wasseroberfläche leuchtend grün wird und die Biomasse erstaunlich hoch ist; dann wird der Sauerstoff unter dem Wasser verbraucht, die Fische sterben und der ganze See wird zu einem stehenden Gewässer.

ChatGPT 5.5 Pro widerlegt die Fields-Medaillenträger

Timothy Gowers' Überlegungen zu KI und Mathematik sind keine spontane Idee.

2022 erhielt er eine Förderung und startete ein Projekt zum automatischen Beweisen von Sätzen.

Damals stellte er sich klar auf die Seite von GOFAI (klassische künstliche Intelligenz): Man müsse tief verstehen, wie Menschen Beweise finden, und dann den Computer dazu bringen, dies nachzuahmen.

Er verfasste ein 54-seitiges Dokument, in dem er die Ziele und Methoden des Projekts detailliert erläuterte.

Damals glaubte er, Menschen seien gut darin, Komplexes zu vereinfachen und strukturierte Beweise zu finden, während maschinelles Lernen noch Grenzen bei echtem Verständnis und Transfer aufweist.

Sein Ziel war es, „motivierte Beweise“ zu erzeugen – also Beweise mit transparentem, erklärbarem Ablauf, die sogar für den Unterricht an Universitäten geeignet sind.

Sogar bis 2025 kritisierte er öffentlich die Trainingsmethoden der damaligen LLMs:

Die Modelle haben meist nur die endgültigen fertigen Beweise gesehen, nicht aber den tatsächlichen Denkprozess der Menschen.

Er schlug vor, eine Datenbank für „motivierte Beweise“ aufzubauen, damit KI echte Inferenzpfade lernen kann.

Dann kam das Jahr 2026.

Eines Tages im Mai veränderte KI sein gesamtes Weltbild vollständig.

Er gab kaum wesentliche mathematische Hinweise, sondern warf ChatGPT 5.5 Pro einfach ein zahlentheoretisches Problem vor.

Die KI dachte etwa eine Stunde nach und lieferte dann ein klares Forschungsergebnis auf Doktoranden-Niveau: Sie verschob die ursprünglich lineare oder exponentielle Grenze direkt auf eine quadratische oder sogar polynomiale Ebene!

Nach dem Praxistest mit ChatGPT 5.5 Pro änderte sich Gowers' Einstellung vollständig.

Er diskutierte nicht mehr nur darüber, „wie man KI menschlicher macht“, sondern begann anzuerkennen: LLMs sind bereits in der Lage, Probleme auf Doktoranden-Niveau zu lösen.

Später, als er erfuhr, dass ChatGPT das „Einheitsabstandsproblem“ gelöst hat, konnte er die ganze Nacht nicht schlafen.

Am nächsten Tag erfuhr er, dass ChatGPT nur ein Gegenbeispiel geliefert hatte, keinen vollständigen oberen Grenzbeweis – erst dann atmete er etwas auf.

Trotzdem ist er der Meinung, dass dies bereits ein Meilenstein der KI im Bereich der Mathematik ist.

Zweifellos hat die Lösung des Einheitsabstandsproblems eine Meilensteinbedeutung im Bereich KI für Mathematik: Wenn diese Arbeit von einem Menschen verfasst und bei den „Annals of Mathematics“ eingereicht worden wäre und ich gebeten worden wäre, sie schnell zu bewerten, hätte ich ohne zu zögern die Annahme empfohlen.

Kein vorheriger von KI erzeugter Beweis hat dieses Niveau erreicht.

Er fühlte sich hilflos und betrübt, genau wie Lee Sedol, der AlphaGo gegenüberstand: Ein Mathematiker, der sein ganzes Leben lang auf „Verständnis“ Wert gelegt hat, wird schließlich von der praktischen Leistungsfähigkeit der Maschine gezwungen, neu zu definieren, „was Forschung bedeutet“.

Am 24. Juli hat er kurzerhand seine eigene Arbeit an die KI zur automatischen Formalisierung übergeben – das heißt, er ließ die KI den Beweis in maschinenverifizierbaren Code übersetzen.

Der gesamte Vorgang dauerte eineinhalb Wochen, er selbst brauchte nur ein oder zwei Stunden, um Hinweise zu geben, und die Arbeit war erledigt.

Schließlich musste er anerkennen: „Das derzeitige technische Niveau wird immer niedriger sein als das in der Zukunft.“

Das Klagelied der Mathematik

Der Zeitpunkt, zu dem Gowers diesen Artikel veröffentlicht hat, ist sehr heikel.

Am selben Tag veröffentlichte Peter Woit von der Columbia University in seinem Blog einen Artikel mit dem Titel „Requiem für ein Fachgebiet?“.