Während KI-Systeme anfangen, Theoreme zu beweisen, stellen Mathematiker eine beklommene Frage: Was bleibt für uns? Ein Gastessay auf Terence Taos Blog, von Karthik C. S., Amit Sahai und Jie Xue, gibt eine ungewöhnliche Antwort. Wenn mathematische Wahrheiten entdeckt statt erfunden werden, so das Argument, verliert ein Ergebnis nichts an Wert, wenn eine Maschine es findet, und das eigentliche Ziel der Beklommenheit ist eine ältere Gewohnheit, Mathematiker an ihrer Produktion zu messen.
Das Argument stützt sich auf eine platonische Sicht der Mathematik. Demnach gab es unendlich viele Primzahlen, bevor es jemand bewies; mathematische Wahrheit wartet nicht auf menschliche Anerkennung und bezieht ihre Autorität nicht von uns. Dieser Unabhängigkeit begegnen wir, sagen die Autoren, immer dann, wenn eine Konstruktion uns überrascht, eine Definition eine unerwartete Verbindung enthüllt oder eine Vermutung, der wir trauten, ein Gegenbeispiel hat. Wir können ein Argument nicht durch Wünschen gültig machen. Daraus folgt, dass die Bedeutung eines Beweises in seinem Verhältnis zu dieser unabhängigen Ordnung liegt und nicht darin, wer ihn hervorbrachte, eine von einer Maschine gemachte Entdeckung ist also nicht weniger eine echte Entdeckung.
Ihr schärferer Schritt ist, korrekte Herleitung vom Verstehen zu trennen. Ein axiomatisches System erlaubt endlos viele formal korrekte Ableitungen, doch sie hervorzubringen sagt für sich nicht, welche verfolgenswert sind. Was eine Definition erhellend und eine andere bloß gültig macht, ist ihr Verhältnis zu den Strukturen, die sie sichtbar macht, eine Sache mathematischen Geschmacks, verstanden als mehr als private Vorliebe. So gelesen liegt die eigentliche Sorge vor der KI: Mathematiker hatten sich längst als Sammlungen produktiver Fähigkeiten gesehen, gemessen an Publikationen, Zitaten und Preisen, und KI legt nur die Folgen dieses Selbstbilds offen. Die Autoren geben an, GPT-Modelle zur Vorbereitung des Textes genutzt zu haben.
Es ist eine nachdenkliche Erwiderung auf eine echte Angst, und der Schritt von Status zu Verstehen ist gesund für ein Feld, das Wert an Preise gebunden hat. Doch der Essay ist nur so stark wie sein Ausgangspunkt. Das ganze Argument lehnt sich an den mathematischen Platonismus, eine umstrittene philosophische Position und keine ausgemachte Tatsache, und ein Leser, der sie nicht teilt, verliert den Trost, den der Essay bietet.
Der Essay sagt zudem wenig über den Teil der Beklommenheit, der nicht philosophisch ist. Arbeitsplätze, Förderung, wer die Werkzeuge kontrolliert und wer die Anerkennung erhält, sind der Ort, an dem die Sorgen der meisten arbeitenden Mathematiker tatsächlich sitzen, und eine Betrachtung über egoloses Wahrheitssuchen berührt sie nicht. Lies ihn für das Argument darüber, wozu Mathematik da ist, nicht als Leitfaden, wie der Berufsstand reagieren sollte.