Die Fortschritte der KI beunruhigen große Mathematiker

Terence Tao, Professor an der UCLA und Träger der Fields-Medaille von 2006, veröffentlichte am 8. September 2026 auf dem Netzwerk Mathstodon eine Warnung, die in der akademischen Welt für Aufsehen sorgte. Seiner Meinung nach assistiert die KI nicht mehr nur den Forschern. Sie bedroht das Wesen des menschlichen Verständnisses und der Grundlagenforschung. Der Grund dafür ist, dass künstliche Intelligenz den Pool der "guten offenen Probleme" austrocknet. Es sind diese ungelösten Fragen, die tatsächlich einen wissenschaftlichen Bereich voranbringen.

In Kürze

• Die KI löst jahrtausendealte Probleme in wenigen Tagen, während Menschen Jahre dafür benötigen.
• Terence Tao warnt: Die KI erschöpft die "guten Fragen" in der Mathematik.
• Mathematiker befürchten eine Abwertung ihrer Rolle und ihrer Entdeckungen.
• Die Gemeinschaft fordert neue Regeln für den Einsatz von KI in der Forschung.

Die KI löst jahrtausendealte Probleme in Rekordzeit

Seit Mai 2026 folgen die Ankündigungen zur künstlichen Intelligenz in rasantem Tempo aufeinander. OpenAI hat zunächst die Erdős-Vermutung über die Einheitlichen Abstände widerlegt, ein offenes Problem seit 1946. Einige Wochen später behauptet dasselbe KI-Unternehmen, eines der sieben "Millennium-Probleme" des Clay Mathematics Institute gelöst zu haben: die Existenz und Regelmäßigkeit der Lösungen der Navier-Stokes-Gleichungen. Diese beschreiben die Bewegung von Flüssigkeiten.

Laut Tristan Buckmaster, einem Mathematiker, der eine vielversprechende Herangehensweise entwickelt hat, hätte die KI von OpenAI an einem Wochenende das vollendet, was er und sein Kollege Levent Alpöge (Mitarbeiter von Anthropic) seit Monaten zu finalisieren versuchten.

Das ist noch nicht alles! Im August 2026 veröffentlichte OpenAI auch zehn neue bedeutende mathematische und informatische Ergebnisse, die mit seinem Modell Astra erzielt wurden. Diese decken ab:

• Geometrie;
• Kryptographie;
• Codierungstheorie.

Für seinen Teil hat Anthropic Claude verwendet, um den Beweis des letzten Fermatschen Theorems in nur 11 Tagen zu formalisieren. Dieses KI-Unternehmen hat gerade eine bevorstehende Börseneinführung angekündigt.

Terence Tao: Die KI erschöpft die "guten Fragen" in der Mathematik

In einem Beitrag auf Mathstodon warnt Terence Tao, der als der beste lebende Mathematiker gilt, unmissverständlich. Seiner Meinung nach besteht die echte Gefahr nicht darin, dass die KI Probleme löst, sondern dass sie dies zu schnell tut, bevor die Gemeinschaft alle Lehren daraus ziehen konnte.

Er schrieb:

Der unkontrollierte Einsatz leistungsstarker Lösungsextraktionswerkzeuge kann das unmittelbare Ziel erreichen, Probleme zu lösen, aber auf Kosten der Unterstützung des Ökosystems für die nächste Welle des Fortschritts.

Für Tao liegt der Wert eines mathematischen Problems sowohl in seiner Lösung als auch in dem Weg, der zu dieser Lösung führt. Tatsächlich ermöglicht dieser Prozess:

• neue Methoden zu entdecken
• neue Verbindungen zwischen Bereichen zu finden
• (manchmal) die Frage selbst neu zu formulieren.

Mit der KI jedoch wird dieser Weg abgekürzt. In diesem Sinne warnt Tao:

Wir haben jetzt gesehen, dass selbst das Gerücht, dass jemand an einem Problem arbeitet, eine massive Menge an KI-unterstütztem Aufwand auslösen kann, um es zu glätten, bevor das ursprüngliche Forschungsprojekt die Zeit hat, sein volles Potenzial zu erreichen.

Entschlüsselung: Die KI verwandelt die Mathematik von einer Disziplin der "Seltenheit von Beweisen" in eine Disziplin der "Fülle von Beweisen". Dies droht, die Arbeit des Menschen abzuwerten.

Mathematiker vor einer Identitätskrise mit der KI?

Über die Aussagen von Tao hinaus stellt sich die gesamte Profession die Frage. << Wenn das Hauptziel der Mathematik darin besteht, Theoreme zu beweisen, wird es leicht zu fragen: Jetzt, da die Maschinen anscheinend fast nach Belieben dazu in der Lage sind, wozu dienen wir? >>, fragt insbesondere Henry Yuen, Mathematiker an der Columbia University, in einem Interview mit The Telegraph.

Im Juni 2026 haben mehr als 3.000 Mathematiker die Leyden-Erklärung unterzeichnet. Dieses Dokument fordert:

• einen verantwortungsvollen Einsatz von KI;
• eine strenge Überprüfung der Ergebnisse;
• eine angemessene Zitierung der menschlichen und künstlichen Beiträge.

Für seinen Teil schlägt Terence Tao einen Ansatz vor: bestimmte Probleme als analysierungsbedürftig einzustufen. Das bedeutet, dass eine rohe Antwort (insbesondere die von der künstlichen Intelligenz bereitgestellte) nur zählt, wenn sie mit einem verständlichen und lehrreichen Argument einhergeht.

Welche Zukunft haben die Mathematik im Zeitalter der KI?

Einige sehen die KI als ein Produktivitätswerkzeug. Die Tatsache ist, dass sie die Menschen von mühsamen Aufgaben befreit, sodass sie sich auf die Formulierung neuer Fragen konzentrieren können. Andere hingegen befürchten eine Industrialisierung des Beweises. Ihrer Meinung nach könnte der intellektuelle Wert also zugunsten der Geschwindigkeit verblassen.

Dennoch sind sich beide Seiten in einem Punkt einig: Die Regeln müssen sich ändern. Die Leyden-Erklärung betont daher die Transparenz und Anerkennung der Beiträge. Aber wie sollen diese Prinzipien in einem Wettlauf angewendet werden, in dem die KI-Modelle nicht öffentlich sind und die Beweise in wenigen Stunden generiert werden?

Auf jeden Fall hat die KI einen Wendepunkt in der Mathematik erreicht. Der Ball liegt nun im Feld der Gemeinschaft: neue Regeln zu definieren, damit künstliche Intelligenz ein Werkzeug bleibt und kein Ersatz wird.