Der dimensionsreduzierende Angriff der KI – welchen Weg soll die Mathematik einschlagen?

In *Drei Körper* gibt es eine grausame Szene. Hochstehende Zivilisationen führen keinen Krieg gegen die Menschen, sie werfen ein zweidimensionales Blatt, und der dreidimensionale Raum beginnt, sich zu zwei Dimensionen zusammenzuziehen. Alle Widerstände der Menschheit sind vor diesem dünnen transparenten Objekt bedeutungslos. Niemand fragt, ob die Menschheit bereit ist.

Die Mathematik erlebt gerade ihren eigenen Dimensionsabfall.

Am 6. Oktober 2026 veröffentlichte OpenAI 722 mathematische Manuskripte auf GitHub. Bei der dreidimensionalen Maximalfunktionsversion und der vierdimensionalen Hausdorff-Dimensionsversion der Kakeya-Vermutung brauchten Hong Wang und Joshua Zahl drei Jahre, um die Fields-Medaille zu erreichen, während OpenAI im Durchschnitt nur 3 Stunden brauchte. In derselben Veröffentlichung gab es auch die quasi-Riemann-Vermutung, die Unique-Games-Vermutung und spezielle Fälle der Hodge-Vermutung. Diese seit Jahrzehnten oder sogar Jahrhunderten schwebenden Probleme wurden in Form von 372 Ergebnissen über Nacht auf die ganze Welt geworfen.

Die Mathematik ist in Aufregung geraten. Die von Terence Tao geleitete Humane Mathematische Gesellschaft ruft dazu auf, die Zusammenarbeit mit OpenAI einzustellen, 25 Fields-Medaillenträger protestieren gemeinsam, fast 7000 Mathematiker haben einen Protestaufruf unterzeichnet.

Was die Mathematiker ablehnen, ist nie, dass KI Mathematik betreibt. Was sie ablehnen, ist, dass sie nicht verstehen können, wie KI Mathematik betreibt.

Dahinter verbirgt sich eine tiefere Veränderung. Im Jahr 1900 stellte Hilbert 23 Probleme auf, die Mathematiker ein ganzes Jahrhundert lang ernährten. Eine Vermutung konnte Forschungen mehrerer Generationen anregen, eine Richtung konnte eine ganze Disziplin stützen. Im KI-Zeitalter ist ein Problem möglicherweise nur eine Zeile in der Antwortliste. Mathematik ist nicht mehr die lange Reise der Menschheit, um die Welt zu verstehen, sondern wird zu einer Massenproduktion von Antworten.

Wenn die Schaffung von Mathematik nicht mehr das Verständnis der Menschheit erfordert, ist Mathematik dann noch die Mathematik der Menschheit?

Streit um die Namensnennung: Wer kann mathematische Ergebnisse definieren 

Das Millennium-Problem der Navier-Stokes-Gleichungen wurde zum Auslöser des Konflikts.

Diese Gleichungen beschreiben die Bewegungsgesetze von zähen Flüssigkeiten. Seit ihrer Aufstellung im 19. Jahrhundert schwebt die Frage, ob ihre Lösungen immer existieren und glatt sind, seit fast hundert Jahren ohne Lösung. Im Jahr 2000 listete das Clay Mathematics Institute sie als eines der sieben großen Millennium-Preis-Probleme auf und bot eine Belohnung von 1 Million US-Dollar an. Bevor OpenAI ankündigte, das Problem „gelöst“ zu haben, war unter den sieben Problemen nur die Poincaré-Vermutung wirklich gelöst worden.

Am 7. September veröffentlichten der Mathematiker Tristan Buckmaster von der New York University und Levent Alpöge, der bei Anthropic arbeitet, ein 245-seitiges Ergebnis, das beweist, dass die dreidimensionale Euler-Gleichung mit glatter äußerer Kraft in endlicher Zeit zu Explosionen führt, was einer der wichtigsten Wege zum Navier-Stokes-Problem ist. Nur einen Tag später kündigte OpenAI an, dass sein internes Modell ein Gegenbeispiel für dieses Problem gefunden hat. Buckmaster behauptete später öffentlich, dass OpenAI ihm einen „Fusionsplan“ vorgeschlagen habe: Er solle schreiben und ankündigen, dass „das interne Modell von OpenAI das Navier-Stokes-Problem gelöst hat“, unter der Bedingung, OpenAI zu danken, aber Alpöge dürfe nicht als Mitautor genannt werden, weil er bei Anthropic arbeitet. Als Buckmaster ablehnte, fragte die andere Seite ihn: „Warum zerstörst du deine eigene Karriere?“

OpenAI bestreitet das alles vollständig. Sébastien Bubeck, der die Arbeit an den Millennium-Problemen leitet, sagte: „Weder von den Forschern noch von dem Agenten haben wir irgendwelche ihrer Arbeiten gesehen, bevor sie sie öffentlich veröffentlicht haben.“ Aber die zeitlichen Übereinstimmungen zusammen mit der ausschließenden Bedingung gegen Mitarbeiter von Anthropic bei der Namensnennung machen die Vorwürfe des „Vorpreschens“ nicht leicht zu widerlegen.

Oberflächlich betrachtet handelt es sich um einen Streit um die Namensnennung. Tiefer betrifft es ein strukturelles Problem.

Wenn ein KI-Unternehmen gleichzeitig die drei Rollen des Werkzeuganbieters, des Rechenleistungsmonopolisten und des akademischen Konkurrenten einnimmt, kann die akademische Gemeinschaft dann noch ihre eigenen Regeln einhalten?

Was die Mathematiker verteidigen, ist nicht nur das Recht auf Namensnennung für ein bestimmtes Papier, sondern das Recht zu definieren, „was als mathematisches Ergebnis gilt“ und „was als akzeptable Veröffentlichungsweise gilt“. Dies ist ein Streit um das Recht, Regeln zu setzen.

Am 11. September veröffentlichten 25 Fields-Medaillenträger gemeinsam die Erklärung *Die schwere Fehlausrichtung der künstlichen Intelligenz in der Mathematik*. Am 7. Oktober veröffentlichte die von Terence Tao geleitete Humane Mathematische Gesellschaft eine Erklärung, in der sie dazu aufrief, „dass alle Mathematiker die Zusammenarbeit mit OpenAI einstellen“.

In der Erklärung gibt es einen Satz, der wiederholt zitiert wird: „Niemand hat euch gebeten, diese Beweise zu lösen.“

Dieser Satz ist so unangenehm, weil er den Kern dieses Konflikts trifft: KI-Unternehmen nehmen nicht an der Mathematik teil, sondern setzen die Regeln der Mathematik neu fest.

Warum die Mathematiker wütend sind: Nicht die Geschwindigkeit, sondern das Unverständnis 

Kevin Buzzard vom Imperial College London hat einen sehr ehrlichen Satz gesagt. In seinem Forschungsbereich der Zahlentheorie erscheinen 30 Papiere in der Veröffentlichung von OpenAI, aber nur 7 davon scheinen von herausragender Qualität zu sein, und nur eines hat die formale Verifizierung durch Lean bestanden. Er sagte, man müsse entweder diese „möglicherweise falschen Müllinhalte“ lesen, warten, bis andere sie zuerst lesen, oder warten, bis jemand sie formalisiert, um sicherzustellen, ob das Ergebnis richtig ist.

Das ist das zentrale Dilemma, vor dem die Mathematiker stehen.

Die von KI erzeugten Beweise sind, ob richtig oder falsch, sehr überzeugend, aber die Mathematiker können sie überhaupt nicht aufnehmen. Terence Tao verwendete den Begriff: Beweisverdauungsstörung. Unter den 719 Manuskripten, die OpenAI veröffentlichte, sind nur etwa 42 % mit der formalen Verifizierung durch Lean abgeschlossen, und nur 10 legen den Denkprozess offen, mit dem das Modell zu den Schlussfolgerungen gelangt ist. Das bedeutet, dass die Mathematiker bei mehr als der Hälfte der Ergebnisse nicht einmal beurteilen können, ob sie richtig oder falsch sind. Tatsächlich hat OpenAI am nächsten Tag nach der Veröffentlichung 3 Manuskripte zurückgezogen, weil in einem Papier ein Symbolfehler aufgetreten ist und die anderen beiden Papiere, die auf derselben Konstruktion beruhten, dadurch ungültig wurden.

Curtis McMullen, Preisträger der Fields-Medaille von 1998, verwendete ein Bergsteigergleichnis. Die Mathematiker sind wie Bergsteiger, die seit vielen Jahren Lager an einem hohen Berg aufgebaut haben, „vielleicht nur noch wenige Monate vom Gipfel entfernt“. Aber was OpenAI getan hat, ist: „Sie suchen nach Orten, an denen sie absetzen können, und nachdem sie die oben genannten Lager gefunden haben, setzen sie sofort ein Team von mechanischen Bergsteigern dort ab und besteigen den Gipfel vor allen anderen. Und das alles nur, weil sie einen Hubschrauber haben, der höher fliegt als jeder andere.“

Die Wut der Mathematiker kommt von diesem Gefühl der Ohnmacht. Sie können nicht mit KI mithalten, sondern verstehen nicht, wie KI läuft, obwohl KI das Rennen bereits abgeschlossen hat.

Der übersprungene Prozess ist der wahre Wert der Mathematik 

Der Wert der Mathematik liegt nie in der Antwort selbst.

Mathematik stützt sich nicht auf Experimente, sondern auf Beweise. Ausgehend von Axiomen wird jeder Schritt lückenlos abgeleitet. Sobald ein Beweis gültig ist, gilt er für immer und kann nicht widerlegt werden. Die Schlussfolgerungen von Euklid vor zweitausenddreihundert Jahren gelten noch heute. Aus diesem Grund liegt der Schwerpunkt der Mathematiker bei der Erforschung schwieriger Probleme nie nur auf der endgültigen Antwort, sondern auch auf neuen Methoden, neuen Ideen und neuen Werkzeugen, die im Prozess entdeckt werden.

Der „Prozess“ ist das eigentliche Ergebnis der Mathematik.

Der Beweisprozess des Großen Fermatschen Satzes hat mehrere Theorien der algebraischen Geometrie hervorgebracht. Die Lösung der Kakeya-Vermutung hat die Entwicklung der harmonischen Analyse und der Fourier-Analyse vorangetrieben. Nachdem eine Vermutung bewiesen ist, entstehen oft ganze Forschungsbereiche, die später zu grundlegenden Werkzeugen für Physik, Ingenieurwesen und Informatik werden. Der Wert der Mathematik liegt darin, dass die Menschheit im Prozess der Suche nach Antworten neue Sprachen erfindet, um die Welt zu beschreiben.

KI überspringt jetzt diesen Prozess und gibt direkt eine Reihe von verifizierten Schlussfolgerungen, deren Ursachen und Wirkungen nicht verstanden werden können. Terence Tao nennt diese Zerstörung „unumkehrbare Verschmutzung“: Sobald ein Problem als gelöst erklärt wird, kann es nicht mehr in den ungelösten Zustand zurückkehren. Selbst nur zu wissen, dass die Antwort existiert, wird andere Forschungswege verschmutzen, die tiefere Einsichten bringen könnten.

Das ist wie wenn eine Goldmine direkt gesprengt wird. Man hat das Gold bekommen, aber die Struktur, der Verlauf und die Begleitminerale des Gesteins sind alle zerstört. Wenn man das nächste Mal eine Goldmine suchen will, gibt es nicht einmal mehr eine Karte.

Parteinahme hilft nichts: Das Rad rollt bereits heran 

Innerhalb der Mathematik sind die Positionen nicht einheitlich.

Yann LeCun sagte: „Im Gegenteil. Die Mathematik tritt in eine neue Ära ein. Formale Beweise werden weitgehend automatisiert, der Schwerpunkt wird sich auf die Entwicklung neuer Konzepte, neuer Abstraktionen, neuer Definitionen und neuer Vermutungen verlagern. Die Erfindung des Schiffes hat die Bedeutung des Schwimmens verringert, aber uns erlaubt, neue Kontinente zu entdecken.“ Daniel Litt von der University of Toronto glaubt, dass die Mathematiker in Zukunft eine Menge aufregender Arbeit zu erledigen haben. Buzzard kritisiert zwar die Veröffentlichungsmethode von OpenAI, gibt aber auch zu, dass wenn der Großteil dieser Ergebnisse schließlich als richtig bestätigt wird, „die Maschine anscheinend die Fähigkeit hat, alle mathematischen Bereiche zu beherrschen“.

Die Gegenstimmen sind ebenfalls stark. Francis Johnson vom University College London hat 25 Jahre lang das Wolff-D(2)-Problem erforscht, zwei Bücher geschrieben und es schließlich aufgegeben, aber KI hat es in kurzer Zeit gelöst. Er gestand offen ein: „Der Geist ist aus der Flasche, wir müssen diese Realität akzeptieren.“ Der Mathematiker Simon Machado von der ETH Zürich sagte, dass für Menschen, deren Forschungsgelder bald enden oder die gerade einen Job suchen, „diese Veränderung besonders destruktiv ist“.

Aber egal auf welcher Seite man steht, eine Tatsache ist unausweichlich: Der Fortschritt der KI im Bereich der Mathematik ist nicht mehr aufzuhalten.

Im Mai 2026 widerlegte das Modell von OpenAI eine geometrische Vermutung, die von Erdős im Jahr 1946 aufgestellt wurde. Neun externe Mathematiker, darunter Timothy Gowers von der Universität Cambridge, schrieben extra ein begleitendes Papier dazu. Gowers ist Träger der Fields-Medaille, und er sagte, dass er dieses Ergebnis ohne zu zögern in einer Top-Zeitschrift empfehlen würde. Dann ging es schnell weiter: Im Mai 1 Ergebnis; im August 10 Ergebnisse auf einmal; im September wurden über hundert Ergebnisse angekündigt; im Oktober 372 Ergebnisse. In 5 Monaten hat sich die Anzahl um zwei Größenordnungen erhöht.

Auf der mathematischen Bahn gibt es nicht nur OpenAI. Das System, das DeepMind im Mai veröffentlicht hat, löste 9 von Hunderten von Erdős-Problemen. Anthropic brauchte 11 Tage, um den gesamten Beweis des Großen Fermatschen Satzes in Lean-Code zu übersetzen, ganze 13 Millionen Zeilen.

Terence Tao ist sich dessen eigentlich auch bewusst. Was er ablehnt, ist nicht, dass KI Mathematik betreibt, sondern die Art und Weise, wie KI-Unternehmen Mathematik betreiben. Er ruft dazu auf, „dass alle Mathematiker die Zusammenarbeit mit OpenAI einstellen“, aber er sagte gleichzeitig, dass KI nicht nur seinen Bereich, sondern alle Bereiche durchdringt.