Ein Fund, keine Erfindung

Sechshundert Kilometer westlich von Shanghai liegt gerade eine Prüfungsordnung über einem Klausurraum, die es seit sieben Jahrzehnten gibt und die nichts von alledem kennt, was draußen über sie diskutiert wird: zwei Tage, sechs Aufgaben, drei pro Tag, viereinhalb Stunden Zeit, kein Taschenrechner, kein Nachbar, nur ein Blatt Papier und die Aufgabe, etwas zu beweisen. Die 67. Internationale Mathematik-Olympiade tagt vom 10. bis 21. Juli 2026 an der Shanghai High School, Teilnehmer aus über hundert Ländern, die eigentliche Klausur am 15. und 16. Juli. Die Jugendlichen, die dort sitzen werden, sind die Besten ihres Jahrgangs auf einem Kontinent von Jahrgängen. Für sie ist dieser Raum, dieses Papier, dieser Moment das Größte, was ihrem jungen Leben bislang zugestoßen ist.

Und während sie sich vorbereiten, wetten Prognosemärkte wie Polymarket und Kalshi mit einer Quote von rund 70 bis 80 Prozent darauf, dass eine Maschine binnen des Jahres offiziell dieselbe Schwelle reißt, die diesen Kindern gerade heilig ist: Gold bei der IMO. Der Grund für die Zuversicht liegt ein Jahr zurück. Bei der IMO 2025 erreichten sowohl Google DeepMinds "Gemini Deep Think" als auch ein System von OpenAI 35 von 42 möglichen Punkten, Gold-Niveau, fünf von sechs Aufgaben vollständig gelöst. Nur: DeepMind ließ sich von den offiziellen IMO-Koordinatoren zertifizieren, nach denselben Maßstäben wie die menschlichen Teilnehmer. OpenAI nahm am offiziellen Kooperationsprogramm gar nicht teil und ließ die eigenen Lösungen von drei ehemaligen Olympioniken prüfen, nicht von der Jury selbst – als hätte sich jemand die Medaille eigenhändig umgehängt und dann den Fotografen gebeten, das zu bestätigen. Beide Häuser posaunten trotzdem "Gold", und die Öffentlichkeit merkte den Unterschied kaum. Redlichkeit, könnte man sagen, ist auch beim Beweisen eine Frage der Beglaubigung, nicht nur der Antwort.

Terence Tao, Fields-Medaillen-Träger und in diesem Jahr so etwas wie der öffentliche Seismograf der Branche, hält dagegen: Die Modelle seien nützliche Assistenten, aber "keine Peers" – stark im Absuchen bekannter Wege, schwach bei der einen Idee, die noch niemand hatte. Verlässlich werde das Ganze erst, wenn die Beweise durch formale Systeme wie den Assistenten Lean gegenprüft würden, mit einem Tempo, das mit der Automatisierung mithält. Tao denkt an eine Arbeitsteilung – Ideengeber, Automatisierer, menschliche Prüfer –, nicht an eine Ablösung. Das klingt nach einer technischen Frage. Sie ist aber die alte metaphysische Frage in neuem Gewand: Wenn das Beweisen, die reinste, unbestechlichste Denkform, die wir kennen, sich teilweise maschinisieren lässt, was heißt das dann für den Sinn dessen, was da gefunden wird? Ist Mathematik ein Land, das man betritt, gleich wer oder was den ersten Schritt tut? Oder ein Bauwerk, das nur so lange steht, wie ein Geist es errichtet?

Erfunden oder entdeckt: Die Frage ist so alt wie die Mathematik selbst, und schon der erste, der sie ernsthaft stellt, gibt eine Antwort, die bis heute nachwirkt. Platon lässt in seinem Dialog "Menon" den Sokrates einen ungebildeten Sklaven, der nie Geometrie gelernt hat, allein durch Fragen zur Verdopplung einer Quadratfläche führen. Niemand sagt dem Sklaven die Lösung vor, die Fragen enthalten sie nicht, und doch findet er sie, notwendig, für jeden Zusehenden einsehbar. Wer aber etwas weiß, ohne es gelernt zu haben, muss es zuvor schon besessen haben – die Seele hat die Ideen vor der Geburt geschaut, Lernen ist Wiedererinnerung. Über dem Eingang seiner Akademie soll gestanden haben, niemand trete ein, der nicht Geometrie verstehe: eine Vorschule der Vernunft, die zur reinen Einsicht hinaufführt. Erfunden wird da nichts. Was aber, wenn man nie gefragt hätte? Hätte der Sklave die Wahrheit dann für immer in sich getragen, ungefunden, oder wäre sie mit ihm gestorben, unentdeckt wie ein Kontinent vor dem ersten Boot?

Pythagoras hätte darauf mit einer Anekdote geantwortet, die – das sei redlich vermerkt – wohl eher Legende als Biografie ist: dass er an einer Schmiede vorüberging und in den auf den Amboss fallenden Hämmern die Harmonie erkannte, die er zu Hause an der gespannten Saite nur noch bestätigte. Oktave zwei zu eins, Quinte drei zu zwei, Quarte vier zu drei – Verhältnisse, die kein Wille gesetzt hat. Entscheidender als die Anekdote ist, was seiner eigenen Schule widerfuhr: Die Diagonale des Quadrats, die Wurzel aus Zwei, ließ sich in keinem Verhältnis ganzer Zahlen fassen, ausgerechnet von der Schule entdeckt, die auf ganzzahligen Verhältnissen ihr ganzes Weltbild gebaut hatte. Eine Erfindung gehorcht dem, der sie macht. Eine Entdeckung widersteht ihm – und die Irrationalität von √2 widerstand den Pythagoreern so gründlich, dass sie an ihr fast zugrunde gingen. So handelt keine Fiktion des eigenen Geistes.

Aber woher kommt diese Widerständigkeit, wenn nicht aus einer Welt jenseits von uns? Blaise Pascal und Pierre de Fermat saßen 1654 nicht im Studierzimmer über dieser Frage, sondern über einem sehr weltlichen Problem: Der Chevalier de Méré hatte beim Würfeln Geld verloren und wollte wissen, wie man einen abgebrochenen Einsatz gerecht aufteilt. Aus dem Streit um Würfel auf einem Wirtshaustisch entstand, im Briefwechsel der beiden, das arithmetische Dreieck und mit ihm die Wahrscheinlichkeitsrechnung. Pascal selbst aber zog daraus eine überraschend unmathematische Lehre: Was eine Zahl, ein Raum, eine Bewegung überhaupt sei, das lasse sich nicht beweisen, sondern nur fühlen – premiers principes, die dem Verstand vorausliegen. "Der letzte Schritt der Vernunft ist die Anerkennung, dass es unendlich viele Dinge gibt, die sie übersteigt", schreibt er, und an anderer Stelle, vor der unendlichen Teilbarkeit des Raums: "Das ewige Schweigen dieser unendlichen Räume macht mich schaudern." Das ist der Einwand gegen seinen großen Gegenspieler Descartes, der die Mathematik ganz auf das klare, deutliche Einsehen der Vernunft gründen wollte, ohne zu bemerken, dass auch er, wie jeder Geometer, seine Axiome nur voraussetzen, nicht beweisen kann. Descartes selbst hätte gekontert, dass gerade diese Unwillkürlichkeit – ich kann mir nicht aussuchen, dass zwei und drei fünf ergeben, so wenig wie ich mir aussuchen kann zu denken und zugleich nicht zu sein – seine Position stützt: klar und deutlich Eingesehenes drängt sich auf wie das Cogito selbst. Nur verortet er die Quelle dieser Notwendigkeit nicht in einem ewigen Reich neben Gott, sondern in Gott als ihrem freien Schöpfer, der auch die mathematischen Wahrheiten "wie ein König seine Gesetze" gesetzt hat, damit selbst er, Descartes, nicht in einem gottlosen Reich ewiger Ideen versinkt.

Gottfried Wilhelm Leibniz und Isaac Newton fanden, unabhängig voneinander, an entgegengesetzten Ufern des Ärmelkanals, im selben Jahrzehnt dieselbe Infinitesimalrechnung – und beschuldigten sich anschließend jahrzehntelang gegenseitig des Diebstahls. Zwei Erfindungen, notiert Leibniz trocken, aber eine einzige Entdeckung: Wenn zwei Geister, die nichts voneinander wussten, auf dieselbe notwendige Rechnung stießen, dann kann diese Rechnung nicht ihr Eigentum gewesen sein. Seine ganze Philosophie ruht auf dieser Unterscheidung. Vérités de raison, Vernunftwahrheiten wie die der Mathematik, gelten kraft des Satzes vom Widerspruch in jeder nur denkbaren Welt; selbst als Gott unter unendlich vielen möglichen Welten die beste wählte, musste er sie nach mathematischen Verhältnissen vergleichen, die seiner Wahl vorausliegen. Was Menschenwerk ist, sind allein die Zeichen – seine characteristica universalis, sein calculemus, "damit zwei Philosophen nicht mehr zu disputieren brauchen als zwei Rechner". Erfunden ist das Werkzeug. Entdeckt ist, was es misst.

Immanuel Kant löst den Streit hundert Jahre später mit einem dritten Weg, der so einleuchtend klingt, dass man ihn für die Antwort halten könnte. Sein Beispiel: 7 + 5 = 12. Im Begriff "Summe von sieben und fünf" steckt die Zwölf nicht schon, so lange man auch daran herumzergliedert – das Urteil ist also synthetisch, nicht bloße Auflösung einer Definition, wie es eine reine Erfindung wäre. Zugleich gilt es notwendig, unabhängig von jeder Zähl-Erfahrung – das unterscheidet es vom bloßen empirischen Fund. Die Auflösung: Wir konstruieren den Begriff in der reinen Anschauung von Raum und Zeit, die keine Eigenschaften einer Welt an sich sind, sondern die Formen, unter denen für uns überhaupt etwas zum Gegenstand werden kann. Mathematik ist so notwendig wie unser Erkenntnisvermögen selbst – und genau darum, anders als eine beliebige Erfindung, auf die Welt anwendbar. Fertig, könnte man meinen. Es ist eine der schönsten Konstruktionen der Philosophiegeschichte. Sie hält vierzig Jahre.

Denn Carl Friedrich Gauß trägt seit seiner Jugend ein Geheimnis mit sich, das er kaum auszusprechen wagt. Schon Euklid selbst hatte, zweitausend Jahre zuvor, beim fünften seiner Postulate gezögert – jener Grundannahme über Parallelen, die er, anders als die ersten vier, nicht in einem Blick einleuchtend fand, sondern nur umständlich formulieren konnte. Ein Axiom ist ja nichts anderes als eine Grundannahme, die man nicht beweist, sondern an den Anfang setzt, weil man von irgendwo starten muss; alles Übrige folgt dann mit zwingender Notwendigkeit aus ihr. Zwei Jahrtausende lang versuchten Euklids Nachfolger, das fünfte Postulat aus den anderen vieren abzuleiten, es also zum bloßen Lehrsatz zu erweisen und nicht zur eigenständigen Setzung. Gauß ist der erste, der es einfach fallen lässt – und daneben eine zweite, in sich völlig widerspruchsfreie Geometrie entwirft. Veröffentlicht hat er sie nie; er fürchtete, wie er 1829 an Bessel schreibt, "das Geschrei der Böotier", würde er seine Ansicht ganz aussprechen. Der Überlieferung nach – die Quellenlage ist hier umstritten – ließ er sogar die Winkelsumme eines gewaltigen Dreiecks zwischen drei Bergen, dem Hohen Hagen, dem Brocken und dem Inselsberg, vermessen, um zu prüfen, ob der wirkliche Raum tatsächlich Kants notwendiger euklidischer Anschauungsform gehorcht. Ob die Anekdote stimmt oder nicht: Der Punkt sitzt so oder so. Wäre der euklidische Raum, wie Kant lehrt, eine dem Verstand selbst notwendig eingeschriebene Form, dürfte eine widerspruchsfreie Alternative nicht einmal denkbar sein. Schon ihr bloßer, widerspruchsfreier Bestand widerlegt die Notwendigkeitsbehauptung.

Henri Poincaré zieht aus demselben Riss eine andere Lehre. Man könnte, sagt er, jederzeit an Euklid festhalten – man müsste nur die Physik komplizierter machen, krumme Lichtstrahlen erfinden, variable Körperdeformation. Dass wir es nicht tun, ist keine Frage der Wahrheit, sondern der Bequemlichkeit: Die geometrischen Axiome sind "weder synthetische Urteile a priori" – also keine notwendigen Einsichten der reinen Vernunft, wie Kant meinte – "noch experimentelle Tatsachen", sondern Konventionen. Erfunden im Sinn der Wahl, nicht der Willkür. Und doch bleibt Poincaré Realist genug, sich selbst zu widersprechen: Als er 1881 in Coutances, mitten auf einer geologischen Exkursion, in einen Omnibus steigt, erkennt er in einem einzigen, unvorbereiteten Moment, dass die Transformationen, mit denen er seit Wochen ringt, identisch sind mit denen der nichteuklidischen Geometrie. Diese Auswahl trifft, sagt er, nicht das disziplinierte Wachbewusstsein, sondern ein unbewusster Sinn für Harmonie, der auch im Schlaf weiterarbeitet. Wäre alles reine Konvention, bräuchte es diesen Geschmack nicht. Albert Einstein zieht die Konsequenz für die Physik: "Insofern sich die Sätze der Mathematik auf die Wirklichkeit beziehen, sind sie nicht sicher, und insofern sie sicher sind, beziehen sie sich nicht auf die Wirklichkeit", schreibt er 1921 – reine Mathematik sei freie Erfindung, ein Spiel mit Axiomen. Nur bleibt dann das eigentliche Rätsel: Bernhard Riemanns Geometrie stand seit den 1850er Jahren fertig im Regal, ohne dass ihr Urheber je an gekrümmte Raumzeit dachte – und Einstein griff fünfzig Jahre später danach, weil sie zufällig genau passte. Werner Heisenberg erlebte 1925 auf Helgoland dasselbe Erschrecken von der anderen Seite: Als ihm die Matrizenmechanik gelang, hatte er nicht das Gefühl, eine bequeme Notation erfunden zu haben, sondern "durch die Oberfläche der atomaren Erscheinungen auf einen tief darunter liegenden Grund von merkwürdiger innerer Schönheit" zu blicken. Die Unschärferelation – Δx·Δp ≥ ℏ/2 – ließ sich, einmal gefunden, nicht mehr wegrechnen. Eine reine Konvention könnte man ändern, wenn sie unbequem wird. Diese Grenze musste man hinnehmen wie ein Faktum der Natur selbst. Warum ein aus reiner Vernunft ersonnenes Spiel so unheimlich genau auf Atome und Sterne passt, hat bis heute niemand befriedigend erklärt.

Wie erschütternd das Gebäude selbst für seine Baumeister werden kann, zeigt sich am deutlichsten bei Gottlob Frege. Im Sommer 1902 liegt der zweite Band seiner "Grundgesetze der Arithmetik" bereits beim Drucker, das Lebenswerk eines Mannes, der die gesamte Arithmetik aus reiner Logik ableiten wollte, weil Zahlen für ihn objektive, zeitlose Gegenstände sind, nicht subjektive Vorstellungen in einem Kopf – jenen Psychologismus, die Verwechslung von Denkgesetz und Denkgewohnheit, hat er sein Leben lang bekämpft. Da trifft ein Brief des jungen Bertrand Russell ein. Russell hat entdeckt, dass sich aus Freges eigenem Grundgesetz V eine Menge bilden lässt, die sich selbst genau dann enthält, wenn sie sich nicht selbst enthält – ein Widerspruch, anschaulicher gesagt wie ein Bibliothekar, der einen Katalog aller Kataloge anlegt, die sich selbst nicht auflisten: Führt er sich selbst darin auf, widerspricht er seiner eigenen Regel; führt er sich nicht auf, gehört er in genau diesen Katalog. Frege fügt seinem fast fertig gedruckten Werk noch ein Nachwort bei, einen der traurigsten Sätze der Mathematikgeschichte: "Einem wissenschaftlichen Schriftsteller kann kaum etwas Unerwünschteres begegnen, als dass ihm nach Vollendung einer Arbeit eine der Grundlagen seines Baues erschüttert wird." Der Fehler lag in einem zu weiten Abstraktionsprinzip, nicht in seiner Grundüberzeugung – dass Zahlen, wenn sie überhaupt etwas über die Welt aussagen sollen (acht Planeten, Äpfel im Korb), keine bloßen Zeichen sein können, denen wir zufällig eine Bedeutung unterschieben.

Edmund Husserl versucht Jahrzehnte später, den Riss zwischen Frege und Wittgenstein zu schließen, ohne recht zu gelingen: Mathematische Wahrheiten seien nicht psychologisch relativ, gegen Frege hätte er da nichts einzuwenden, aber ihre Idealität falle auch nicht fertig vom Himmel. Sie werde in der Wesensschau, der freien Variation eines Beispiels in der Phantasie, allererst konstituiert – und sedimentiere danach, verschriftlicht, zu einer Tradition, die jeder Nachfolger nicht neu erfindet, sondern reaktiviert. Konstituiert und entdeckt zugleich, ein Kompromiss, dem man die Anstrengung anmerkt. Georg Cantor treibt derweil, mit den transfiniten Zahlen, verschieden großen Unendlichkeiten, ein noch heikleres Geschäft: Er schreibt 1886 an Kardinal Johannes Franzelin, um seine Unendlichkeiten gegen den Verdacht der Häresie zu verteidigen – ein Mathematiker, der einem Kirchenfürsten brieflich erklärt, dass sein "Transfinitum" ein von Gott geschaffenes, kein mit Gottes eigener absoluter Unendlichkeit konkurrierendes sei. Sein früherer Lehrer Leopold Kronecker soll unterdessen, nur mündlich überliefert, gesagt haben: "Die ganzen Zahlen hat der liebe Gott gemacht, alles andere ist Menschenwerk." Cantor selbst nennt diese Scheu vor dem Unendlichen einen horror infiniti, der sich als Strenge tarnt. Zwischen einem Kardinal, der Häresie wittert, und einem Kollegen, der Blasphemie wittert – wo, fragt man sich, sollte ein Mathematiker da noch sicheren Boden finden?

Bertrand Russell, derselbe, dessen Brief Frege das Lebenswerk erschütterte, findet in der eigenen Werkstatt bald denselben Widerspruch: Auch seine "Principles of Mathematics" bauen auf einer Komprehension, die er für logisch selbstverständlich hielt, bis sie 1902 dieselbe Antinomie gebiert. Seine Antwort ist keine neue Entdeckung, sondern eine Konstruktion: die Typentheorie, ein Verbot, das er der Sprache auferlegt, um die Wahrheit überhaupt noch kommunizierbar zu halten. Zusammen mit Alfred North Whitehead schreibt er ein Jahrzehnt an den "Principia Mathematica", jenem monumentalen Versuch, Freges Logizismus wasserdicht zu machen. Es hilft nichts. 1931 zeigt Kurt Gödel, dass jedes hinreichend starke, widerspruchsfreie System – die Principia eingeschlossen – einen Satz enthält, der von sich selbst behauptet, in eben diesem System unbeweisbar zu sein: einfacher gesagt, es gibt wahre arithmetische Sätze, die keine noch so sorgfältig gebaute Maschine aus sich selbst herausbeweisen kann. Wäre Mathematik nur das, was ein System konstruiert, dürfte es diese Lücke zwischen Wahrheit und Beweisbarkeit gar nicht geben. "Entweder ist die Mathematik zu groß für den menschlichen Geist", soll Gödel später gesagt haben, "oder der menschliche Geist ist mehr als eine Maschine."

David Hilbert hätte dem, ausgerechnet er, am wenigsten zugestimmt – und die Ironie der Geschichte hat ihn dafür bestraft, mit einem Timing, das kein Dramatiker sich hätte ausdenken dürfen. "Wenn sich die willkürlich gesetzten Axiome nicht einander widersprechen, so existieren die definierten Dinge", schreibt er 1899 in seinen "Grundlagen der Geometrie": Axiome sind für ihn ein Regelwerk wie beim Schach, frei gewählt, ohne vorgegebene Bedeutung – erfunden. Aber was aus den Regeln folgt, muss man trotzdem herausfinden, oft mühsam, oft gegen die eigene Erwartung; deshalb formuliert er 1900 seine berühmten 23 Probleme, überzeugt, dass zu jeder wohlgestellten Frage eine bestimmte Antwort existiert. Am 8. September 1930 hält er in Königsberg seine Abschiedsrede als Stadtältester und schließt mit dem Satz, der später auf seinen Grabstein in Göttingen gemeißelt wird: "Wir müssen wissen. Wir werden wissen." Einen Tag zuvor, auf derselben Tagung, in einem Nebenprogramm, hatte ein junger, kaum bekannter Wiener Logiker namens Kurt Gödel beiläufig seinen Unvollständigkeitssatz vorgestellt – fast unbemerkt, im selben Saal, in dem tags darauf Optimismus in Stein gehauen wurde.

Ludwig Wittgenstein hätte über all diese Erschütterungen vermutlich nur den Kopf geschüttelt. Für ihn ist "2 + 2 = 4" kein Blick auf einen Gegenstand, sondern ein Zug in einem Regelsystem, das wir selbst eingerichtet haben und dem wir uns danach nicht mehr entziehen können – erfunden wie eine Sprache, nicht wie ein Roman: mit Zwang von innen, ohne Autor von außen. Sein Privatsprachenargument verlangt für jedes Regelfolgen ein öffentliches, vom einzelnen Sprecher unabhängiges Kriterium der Korrektheit; wer sich auf eine "mathematische Intuition" beruft, ein inneres Erblicken abstrakter Gegenstände, muss erklären, wie man unterscheidet zwischen "mir scheint, ich sehe diesen Gegenstand" und "ich sehe ihn wirklich" – ohne ein solches Kriterium ist das keine Erkenntnistheorie, das ist eine private Sprache, und die gibt es nicht. Nur: Gödels Satz G lässt sich, einmal konstruiert, von jedem hinreichend scharfen Denker als wahr erkennen, ganz gleich, welches Sprachspiel er gerade spielt. Eine Erfindung, die sich gegen jede beliebige Erfindung durchsetzt, ist keine Erfindung mehr.

Alfred North Whitehead, der mit Russell die Principia gebaut hatte, ehe Gödel sie erschütterte, weigert sich am Ende, die Frage überhaupt sauber zu entscheiden – und vielleicht ist das die redlichste aller Antworten. Die europäische Philosophie, schreibt er, sei "eine Reihe von Fußnoten zu Platon", und auch er glaubt an "ewige Objekte", reine Formen der Möglichkeit, die unabhängig von uns bestehen. Aber ein ewiges Objekt für sich ist bloße, unbestimmte Potenz, kein wirkliches Datum; es wird erst wirklich, wenn ein Mathematiker es aus der unendlichen Fülle möglicher Formen herausgreift, verknüpft, in ein System zwingt – ein Akt echter Kreativität. Wer sagt, Mathematik werde einfach entdeckt, verwechselt die mühsam erarbeitete Struktur mit einem längst fertigen Gegenstand, der nur noch besichtigt werden müsste – und übersieht, warum der Beweis von "1+1=2" in der Principia Hunderte Seiten braucht, wenn doch angeblich alles längst da läge.

Am 15. Juli, während dieser Text seine Leser erreicht, werden die jungen Menschen in Shanghai über ihren Blättern sitzen und tun, was Sokrates' Sklave im Menon tat, was Gauß seinen Bergen anvertraute, was Frege 1902 zusammenbrechen sah und Gödel 1930 in einem Nebensaal beiläufig bewies: Sie werden versuchen, etwas zu finden, das sich nicht einfach ausdenken lässt, und das ihnen dennoch, wenn es gelingt, wie das eigene Werk vorkommen wird. Ob in denselben Tagen wieder ein KI-System mit an den Aufgaben sitzt und mit welchem, offiziell beglaubigten Ergebnis, ist beim Erscheinen dieses Textes noch offen. Neunzehn Denker, neunzehn Ratschläge, keine Einigung – und das ist wahrscheinlich kein Mangel des Rats, sondern die ehrlichste Antwort, die dieser Streit hergibt. Was sich sagen lässt: Wenn am 16. Juli abends die letzten Blätter eingesammelt werden, wird es sich für die, die eine Lösung gefunden haben, nicht anfühlen wie eine Erfindung. Es wird sich anfühlen wie ein Fund.