Wenn die KI den Mathematikern davonläuft

Timothy Gowers gehört seit Jahrzehnten zu den angesehensten Mathematikern der Welt. Mit 34 gewann er die Fields-Medaille und prägte ganze Teilgebiete der Kombinatorik und Analysis. Umso bemerkenswerter ist seine Aussage: Ein Chatbot habe zwei Probleme gelöst, mit denen er sich lange beschäftigt hatte , jedes beim ersten Versuch.

"Es fühlte sich sehr seltsam und nicht besonders angenehm an, mir so den Boden unter den Füßen weggezogen zu bekommen", schrieb Gowers in seinem Blog.

Das Modell war OpenAIs GPT 5.6 Pro, eine Version, die für mathematisches Denken optimiert wurde. Es löste die Probleme nicht nur , es löste sie sofort, ohne Hinweise, ohne Fehlstarts. Gowers freut sich, dass die Probleme gelöst sind. Was ihn jedoch wirklich umtreibt, geht weit über verletzten Stolz hinaus.

Die Kaskade zerbrochener Vermutungen

Die aktuelle Welle begann im Mai 2026, als OpenAI ein Gegenbeispiel zur Unit Distance Conjecture veröffentlichte , ein Problem der geometrischen Graphentheorie, das seit 1946 ungelöst war. Es war eines von Hunderten offenen Problemen, die mit dem legendären ungarischen Mathematiker Paul Erdös verbunden sind.

KI hatte bereits zuvor andere mathematische Probleme gelöst, aber viele Mathematiker hielten dies für das bedeutendste Beispiel. Innerhalb einer Woche passten menschliche Forscher die Kernbeweistechnik an und widerlegten eine weitere große Vermutung.

Seitdem vergeht kaum ein Tag ohne einen weiteren Meilenstein. Fable 5, Anthropics Modell, widerlegte im Juli die 87 Jahre alte Jacobian-Vermutung. GPT 5.6 Sol widerlegte die 30 Jahre alte Dinitz-Garg-Goemans-Vermutung mit nur vier Eingabeaufforderungen und half zu beweisen, dass nicht-sofische Gruppen existieren. Ein Team der Peking-Universität knackte mit KI-Unterstützung sechs mathematische Probleme an fünf aufeinanderfolgenden Tagen.

Epoch AI, die Forschungsgruppe hinter dem anspruchsvollen FrontierMath-Benchmark, kündigte kürzlich die zweite Lösung in der Serie "FrontierMath: Open Problems" an.

Der Dirigent, nicht das Orchester

Nicht jeder Mathematiker sieht in diesen Entwicklungen eine Bedrohung. Abhishek Saha, Mathematikprofessor an der Queen Mary University of London, verbrachte einen ganzen Tag mit GPT 5.5 Pro für Routinearbeiten, die zuvor Wochen gedauert hätten.

"Im Moment sind KI-Modelle in meinem Forschungsbereich mindestens so gut wie ein solider und unermüdlicher Doktorand", schrieb Saha auf X. Die Erfahrung ließ ihn "zunehmend die Rolle des Dirigenten spielen, statt das ganze Orchester zu sein."

Saha sagte, die meisten Mathematiker wüssten nicht, dass dieses Leistungsniveau bereits möglich sei. Er erwartet, dass sich das Feld spalten wird: "Einige werden sich bald anpassen und grenzenlose Möglichkeiten finden." Andere, prophezeite er, "werden bis zum Ende KI-skeptisch bleiben, wie der Volksheld John Henry" , der Eisenbahnarbeiter, der sich im Wettkampf gegen eine Dampfbohrmaschine zu Tode schuftete.

Das goldene Zeitalter, das nicht lange halten wird

Im April 2026 löste ein Team der Carnegie Mellon University ein offenes Problem der Ramsey-Theorie, indem es SAT-Löser, von Sprachmodellen generierten Code und formale Beweisverifikation kombinierte. Die Forscher verbanden ihr Ergebnis ausdrücklich mit einem "goldenen Zeitalter", das Timothy Gowers selbst im Jahr 2000 vorhergesagt hatte.

Gowers hatte sich vorgestellt, dass Computer routinemäßige Überprüfungen übernehmen, während sich Mathematiker auf tiefere Ideen konzentrieren. "Mit anderen Worten: Computer würden immer noch die langweiligen Teile für uns erledigen, aber diese wären nicht mehr ganz so langweilig", schrieb er damals.

Das Carnegie-Mellon-Team glaubt, dass diese Ära nun begonnen hat. "Wir glauben, dass wir jetzt in dieses goldene Zeitalter eintreten, dank der Kombination mehrerer Technologien", schrieben sie.

Doch selbst damals fügte Gowers eine Warnung hinzu: "Ein solches goldenes Zeitalter, wenn es eintritt, wird wahrscheinlich nicht lange anhalten." Er prophezeite, dass "Computer im nächsten Jahrhundert gut genug werden, um Theoreme zu beweisen, sodass die Praxis der reinen mathematischen Forschung vollständig revolutioniert wird."

Aus dem Jahrhundert wurden eher zwei Jahrzehnte.

Was passiert, wenn niemand mehr die Mathematik versteht

Gowers tiefste Sorge gilt nicht der Geschwindigkeit oder dem Wettbewerb. Es geht um die "mögliche Zerstörung der mathematischen Kultur."

Seine Logik ist einfach: Wenn KI neue Theoreme schneller generiert als Menschen sie verstehen können, könnte die mathematische Literatur innerhalb eines Jahrzehnts oder zweier enorm anwachsen, während keine menschliche Gemeinschaft mehr existiert, die sie wirklich versteht. Mathematiker würden die jahrelange intensive Beschäftigung verlieren, die die Intuition aufbaut, um Ideen zu bewerten, zu erweitern und zu verbinden.

Dies ist keine hypothetische Sorge. Im Mai trat Fields-Medaillengewinner Jacob Tsimerman OpenAI bei und erklärte öffentlich, dass KI bald alles, was Mathematiker tun, "besser und schneller" erledigen werde. Wenn die Menschen, die Mathematik am tiefsten verstehen, selbst von den KI-Labors absorbiert werden, die die Werkzeuge herstellen , wer bleibt dann, um die Disziplin zu hüten?

Andere Fields-Medaillengewinner haben die Bedenken aufgegriffen. In einem Ende Juli veröffentlichten Beitrag warnten mehrere Medaillenträger, dass KI die Mathematik "überfüttern" und in einen "geistigen Friedhof" verwandeln könnte , ein riesiges Archiv korrekter, aber für Menschen unverständlicher Ergebnisse.

Quellen

• AI keeps cracking unsolved math problems, and mathematicians have mixed feelings , The Decoder
• GPT 5.6 Sol Helps Prove That Non-Sofic Groups Exist In Big Math Breakthrough , OfficeChai
• Fields Medal Winner Jacob Tsimerman Joins OpenAI , OfficeChai
• Fields Medalists Warn AI Could Overfeed Mathematics , KuCoin
• GPT-5.6 Disproves 30-Year-Old Conjecture with 4 Prompts , OfficeChai
• Fable 5 Refutes 87-Year-Old Jacobian Conjecture , KuCoin