Ein philosophischer Aufsatz, in dem dargelegt wird, dass KI-gesteuerte mathematische Entdeckungen den Wert eines menschlichen mathematischen Lebens nicht mindern müssen, hat große Aufmerksamkeit erregt, nachdem er im Blog von Terence Tao erschienen ist, dem UCLA-Mathematiker, der weithin als einer der besten lebenden Mathematiker gilt. „Egoless Mathematics in the AI ​​Era“, veröffentlicht am 2. November, ist ein Gastbeitrag der Informatiker Karthik C. S., Amit Sahai und Jie Xue – wobei Tao anmerkt, dass er den Text für die Veröffentlichung mithilfe von KI umgewandelt hat. Der Aufsatz gelangte schnell in die Hacker News, wo die Leser über seine zentrale Behauptung debattierten: dass die Mathematik schon vor unserer Geburt schön war und dass ihr Wert nicht davon abhängt, wer die Entdeckungen macht.

Der Artikel kommt zu einem Zeitpunkt, an dem die maschinelle Unterstützung in der Mathematik von einer Neuheit zur Infrastruktur übergegangen ist. Formale Beweise, die mit Hilfe von KI, maschinengenerierten Vermutungen und KI-Systemen verifiziert wurden, die zu Ergebnissen auf Forschungsniveau beitragen, haben arbeitende Mathematiker gezwungen, sich nicht nur zu fragen, was Maschinen können, sondern auch, was von ihrer Berufung übrig bleibt, wenn die Antwort „das meiste davon“ lautet. Die Antwort des Aufsatzes ist ungewöhnlich unter den Ansichten zu aktuellen KI-Nachrichten in dieser Saison: Anstatt die Bedeutung des Menschen gegen die Maschinen zu verteidigen, plädiert er dafür, diesen Wettbewerb ganz aufzugeben.

Zwei Ansichten der Mathematik, ein Druckpunkt

Die Autoren beginnen mit der ältesten Spaltung in der Philosophie der Mathematik: ob Mathematiker ihr Fach erfinden – Konzepte einführen, Axiome auswählen, Theorien aufstellen – oder Wahrheiten entdecken, die unabhängig davon existieren. Die platonische Sichtweise, schreiben sie, liefert eine natürliche Darstellung dieser Unabhängigkeit: „Es gab unendlich viele Primzahlen, bevor irgendjemand diese Tatsache bewies.“ Die mathematische Wahrheit wartet weder auf unsere Anerkennung, noch erhält sie von ihr ihre Autorität.

Entdeckung, so warnen sie, ist keine Passivität. Ein Paläontologe, der nach Fossilien sucht, muss entscheiden, wo ausgegraben werden soll, Techniken entwickeln und die Bedeutung unvollständiger Überreste erkennen. Ebenso kann eine mathematische Entdeckung die Erfindung einer ganzen Sprache und eines Rahmenwerks erfordern, durch die eine zuvor unsichtbare Struktur sichtbar wird. Die Wahrheiten gehen uns voraus; Die Wege zu ihnen sind durchgehend menschlich.

Auf dieser Grundlage baut der Aufsatz seinen Druckpunkt auf: Eine korrekte Ableitung ist nicht dasselbe wie ein Verständnis seiner Bedeutung. Ein axiomatisches System erlaubt unbegrenzt viele Schlussfolgerungen, aber die Fähigkeit, sie zu erstellen, liefert keine würdigen Forschungsanweisungen. „Mathematische Aussagen können formal korrekt sein, ohne aufschlussreich zu sein“, schreiben die Autoren. „Wir können unzählige Definitionen einführen und unzählige Aussagen darüber beweisen. Was macht eine Definition aufschlussreich?“ Es ist genau die Frage, die immer dann auftaucht, wenn ein KI-System ein formales Repository mit gültigen, aber unmotivierten Ergebnissen überflutet.

Die Falle, Wert durch die Maschine zu definieren

Das schärfste Argument des Aufsatzes zielt auf einen im aktuellen KI-Diskurs üblichen Schritt ab: den Schutz menschlicher Werte durch den Rückzug auf das, was Maschinen noch nicht können. „Die Antwort kann nicht einfach darin bestehen, Zuflucht bei spezifisch menschlichen Fähigkeiten wie Kreativität, Intuition oder Geschmack zu suchen“, argumentieren die Autoren. „Wenn wir diese Fähigkeiten in erster Linie schätzen, weil sie uns einen Vorteil gegenüber Maschinen verschaffen, bleiben wir in der gleichen Vorstellung von intellektuellem Wert gefangen. Warum sollte der Wert unseres Strebens davon abhängen, dass wir darin besser sind als jemand oder etwas anderes?“

Sie weiten die Kritik auf die Anreizstruktur des akademischen Lebens selbst aus. Veröffentlichungen, Zitate und Auszeichnungen seien nützliche Indikatoren, räumen die Autoren ein, aber sie würden pathologisch, wenn sie den Wert der Arbeit definieren. Auf diese Weise werden Mathematiker zu Sammlungen produktiver Fähigkeiten und Mathematik zu ihrem Ergebnis – ein Rahmen, in dem eine Maschine, die einen Menschen übertrifft, einfach gewinnt. Der Aufsatz schlägt die Alternative vor, die er in seinem Titel nennt: egolose Mathematik, eine Praxis, bei der sich Wert aus dem Kontakt mit der Wahrheit ergibt und nicht aus der Vorrangigkeit, sie zu produzieren.

Aus dieser Sicht sind KI-Entdeckungen weder Anlass zu Trauer noch zu Statusangst. „Eine Wahrheit ist zugänglich geworden; ihr Wert wird durch das Fehlen unserer Autorschaft nicht gemindert“, schreiben die Autoren. Sie stellen den Aufsatz sogar als einen Friedensvertrag zwischen den beiden Lagern dar, der mittlerweile viele Mathematikabteilungen spaltet – diejenigen, die sich für KI-Tools begeistern, und diejenigen, die sich aus Prinzip enthalten –, indem sie vorschlagen, dass beide das gleiche zugrunde liegende Engagement für die Mathematik selbst widerspiegeln könnten.

Ein Ramanujan-Gedankenexperiment zum Abschluss

Der Aufsatz endet mit einem Gedankenexperiment aus der Mathematikgeschichte. Berichten zufolge soll Ramanujan gesagt haben: „Eine Gleichung hat für mich keine Bedeutung, es sei denn, sie drückt einen Gedanken an Gott aus“ – eine Zeile, die die Autoren aus Robert Kanigels Biografie „The Man Who Knew Infinity“ von 1991 zitieren (veröffentlicht 1991, zitiert in ihrem Beitrag aus der Ausgabe von 1992). Wenn er heute noch am Leben wäre und die Fortschritte der KI in der Mathematik miterleben würde, wäre er dann beunruhigt darüber, was sie für seine Ziele als Mathematiker bedeuten könnten?

Die Autoren sind ehrlich über ihren eigenen Stand. „Wir, die Autoren dieses Aufsatzes, sind noch weit davon entfernt, eine solche Ichlosigkeit erreicht zu haben“, geben sie zu und beschreiben das Ideal des Aufsatzes als eines, das sie anstreben wollen. Und sie nehmen den offensichtlichen Einwand vorweg – dass das alles so klingt, als würde man Mathematiker bitten, Heilige zu werden. „Soweit es uns dazu auffordert, in der Tugend zu wachsen und unsere Bindung an unsere eigene Bedeutung aufzugeben, ist dieser Eindruck nicht weit von der Wahrheit entfernt“, schreiben sie und argumentieren, dass die Freude am Verstehen dauerhafter sei als die Befriedigung, über den Rivalen zu stehen.

Ob das Argument berufstätige Mathematiker überzeugt, ist eine andere Frage – Kommentarthreads zum Aufsatz zeigen, dass es viele Skeptiker gibt, die glauben, dass die Ökonomie akademischer Karrieren Philosophie zu einem Luxus macht. Aber als Dokument der Gegenwart fängt es etwas Reales ein: Die Bereiche, die dem Fortschritt der KI am nächsten kommen, sind diejenigen, die am stärksten dazu gezwungen sind, zu artikulieren, warum ihre Arbeit wichtig ist, und eine der meistgesehenen Stimmen der Mathematik hat nun einer Antwort eine Plattform geboten, in der Benchmarks, Produktivität oder nationaler Wettbewerb kein einziges Mal erwähnt werden.

---

Der KI einen Schritt voraus sein

Erhalten Sie die neuesten KI-Nachrichten, Analysen und Durchbrüche – alles an einem Ort.

Weitere KI-Neuigkeiten lesen →