Eine KI löst komplizierte Mathematikprobleme – und plötzlich entdeckt die Wissenschaft ihre Liebe zum menschlichen Leidensweg. Ronald Tramp berichtet vom großen Kulturkampf zwischen Kreidetafel, Förderantrag und künstlicher Intelligenz.
Meine Damen, Herren und Menschen, die freiwillig Gleichungen mit mehr Buchstaben als Zahlen anschauen: Es ist passiert.
Die Mathematik hat einen Aufstand.
Einen echten Aufstand.
Wahrscheinlich den kompliziertesten Aufstand der Geschichte, denn niemand weiß genau, ob er positiv, negativ, imaginär oder bereits peer-reviewed ist.
Eine Vereinigung von Mathematikerinnen und Mathematikern hat sich nämlich entschieden, der künstlichen Intelligenz sehr deutlich zu erklären, dass sie gefälligst nicht ungefragt schwierige mathematische Probleme lösen soll.
Und Ronald Tramp sagt:
ENDLICH.
Jahrzehntelang wurden normale Menschen mit Begriffen wie „Kohomologie“, „nichttrivial“, „Lemma“ und „asymptotische Struktur“ erfolgreich aus Seminarräumen vertrieben. Ganze Generationen haben beim Anblick einer Formel instinktiv den Raum verlassen.
Und jetzt kommt plötzlich eine Maschine daher, löst komplizierte Aufgaben und sagt sinngemäß:
„Hier bitte.“
Und die Mathematik antwortet:
„Moment mal. Wer hat dich eigentlich gefragt?“
Wunderschön.
Das ist Forschung.
Das ist Menschlichkeit.
Das ist möglicherweise sogar die erste mathematische Revolution, bei der die Lösung selbst unerwünscht ist.
OpenAI hatte eine umfangreiche Sammlung mathematischer Resultate veröffentlicht. Viele Probleme, viele Manuskripte, viele Resultate. Zahlen über Zahlen. So viele Zahlen, dass vermutlich selbst das Bundesfinanzministerium irgendwann gesagt hätte:
„Bitte weniger.“
Doch dann trat eine neue Macht auf den Plan: die „Vereinigung für menschliche Mathematik“.
Ronald liebt diesen Namen.
Menschliche Mathematik.
Großartig.
Zwei Burger plus zwei Burger ergeben vier Burger.
Das ist menschliche Mathematik.
Bei fünf Burgern beginnt höhere Mathematik.
Bei sechs Burgern braucht Ronald einen Beraterstab.
Aber die Vereinigung meint natürlich etwas anderes.
Sie sagt im Kern:
„Wir haben euch nicht um diese Arbeit gebeten.“
Das ist bemerkenswert.
Denn offenbar braucht eine mathematische Lösung inzwischen nicht nur einen Beweis.
Sie braucht vorher einen Termin.
Ronald stellt sich das künftig so vor:
Eine Gleichung erscheint am Empfang.
„Guten Tag, ich hätte hier eine Lösung für ein jahrzehntelang ungelöstes Problem.“
„Haben Sie einen Termin?“
„Nein.“
„Dann bleiben Sie bitte ungelöst.“
„Aber ich bin korrekt.“
„Das ist hier nicht das Verfahren.“
Willkommen in der Wissenschaft.
Besonders ernst wird die Sache bei der Frage nach dem „menschlichen Verständnis“.
Eine Maschine könne möglicherweise Resultate erzeugen, aber Wissenschaft müsse mehr sein als bloß richtige Antworten, heißt es sinngemäß.
Und Ronald versteht das.
Natürlich.
Denn es gibt Dinge, die Maschinen niemals begreifen werden.
Zum Beispiel akademische Gremiensitzungen.
Eine KI könnte in Sekunden eine komplizierte mathematische Struktur analysieren.
Aber könnte sie drei Stunden lang darüber diskutieren, ob in einem Protokoll „wesentlich“ oder „substanziell“ stehen soll?
Nein.
Könnte sie fünf Professoren gleichzeitig das Gefühl geben, dass ausschließlich ihre Anmerkung unverzichtbar war?
Nein.
Könnte sie einen Workshop über die Planung eines Workshops veranstalten?
Auch nein.
Dafür braucht man Menschen.
Viele Menschen.
Mit Namensschildern.
Und Kaffee.
Die Kritiker werfen OpenAI außerdem vor, wissenschaftliche Normen missachtet zu haben.
Das klingt ernst.
Und wissenschaftliche Normen sind natürlich wichtig.
Sehr wichtig.
Vermutlich existiert irgendwo ein mehrhundertseitiges PDF darüber.
Mit Fußnoten.
Mit Unterfußnoten.
Mit einem Anhang, der erklärt, wie Fußnoten richtig zu zitieren sind.
Niemand hat es vollständig gelesen.
Aber jeder verteidigt es energisch.
Besonders hübsch wird die Sache dort, wo eine unabhängige Beratungsgruppe ins Spiel kommt.
OpenAI hatte sich vor der Veröffentlichung beraten lassen.
Sehr vernünftig.
Doch genau aus diesem Umfeld kam offenbar auch die Forderung, fortgeschrittene Probleme nicht einfach von internen KI-Modellen bearbeiten zu lassen.
Ronald stellt sich das Gespräch ungefähr so vor:
Beratungsgruppe:
„Bitte macht das nicht.“
OpenAI:
„Vielen Dank für Ihre Beratung.“
Beratungsgruppe:
„Also macht ihr es nicht?“
OpenAI:
„Wir haben Ihre Bedenken berücksichtigt.“
Beratungsgruppe:
„Und was bedeutet das?“
OpenAI:
„Wir haben es gemacht.“
Wissenschaftlicher Dialog beendet.
Sehr effizient.
Fast schon maschinell.
Die Vereinigung fordert Mathematiker nun offenbar dazu auf, die Zusammenarbeit mit OpenAI zu beenden und zu einer Wissenschaft zurückzukehren, in deren Mittelpunkt das menschliche Verständnis steht.
Ronald unterstützt menschliches Verständnis ausdrücklich.
Deshalb hätte er nur eine kleine Frage:
Warum ist ein mathematisches Problem jahrelang unglaublich wichtig, solange niemand es lösen kann – aber sobald eine Maschine möglicherweise eine Lösung findet, wird plötzlich nicht mehr über die Lösung gesprochen, sondern darüber, ob der Weg dorthin emotional ausreichend menschlich war?
Das ist großartig.
Offenbar braucht Mathematik künftig eine Dramaturgie.
Eine echte Lösung muss aussehen wie früher.
Ein Professor.
Eine Kreidetafel.
Sieben griechische Buchstaben.
Ein halbvoller Becher kalter Kaffee.
Und hinten im Hörsaal ein Student, der seit vierzig Minuten so tut, als hätte er verstanden, was gerade passiert.
Das ist Tradition.
Das ist Kultur.
Das ist wahrscheinlich irgendwann UNESCO-Weltkulturerbe.
Vielleicht ist genau das das eigentliche Problem.
Nicht, dass eine Maschine Mathematik löst.
Sondern dass sie es ohne Theater tut.
Keine Kreide.
Kein Rollkragenpullover.
Kein Forschungssemester.
Keine dreitägige Tagung in den Bergen mit dem Titel „Neue Horizonte abstrakter Strukturen“.
Nicht einmal ein bedeutungsschweres Räuspern.
Die Maschine sagt einfach:
„Hier ist das Resultat.“
Natürlich ist das gefährlich.
Nicht für die Mathematik.
Für die Dramaturgie.
Denn vielleicht muss die Wissenschaft künftig erklären, warum eine Lösung weniger wert sein soll, nur weil sie nicht von einem Menschen nach drei Espressi, zwei Burn-outs und zwölf Konferenzreisen entdeckt wurde.
Ronald schlägt deshalb einen historischen Kompromiss vor.
KI darf weiterhin Mathematik machen.
Aber nur unter menschlichen Bedingungen.
Vor jeder Berechnung muss die KI zunächst Fördermittel beantragen.
Danach ein Konsortium gründen.
Dann einen Workshop veranstalten.
Danach einen Workshop über den Workshop.
Anschließend einen Ethikantrag einreichen.
Dann sechs Monate auf die Freigabe warten.
Danach muss sie ein Positionspapier verfassen, warum sie die Aufgabe überhaupt lösen möchte.
Erst dann darf gerechnet werden.
So retten wir das Menschliche.
Und selbstverständlich muss jede KI-Lösung von einem Professor offiziell anerkannt werden.
Am besten von einem Professor, der die Lösung nicht selbst gefunden hat, aber hervorragend erklären kann, warum sie methodisch problematisch ist.
So funktioniert Wissenschaft.
Sehr elegant.
Sehr menschlich.
Sehr förderfähig.
Doch Ronald warnt:
Es könnte noch schlimmer kommen.
Stellen Sie sich vor, die KI löst nicht nur Probleme.
Stellen Sie sich vor, sie schreibt auch verständliche Beweise.
Dann beginnt die wirkliche Katastrophe.
Dann könnten Studenten plötzlich verstehen, worum es geht.
Universitäten müssten Vorlesungen umstellen.
Lehrbücher müssten lesbar werden.
Und irgendwann könnte jemand fragen:
„Warum brauchte diese Erklärung bislang eigentlich siebzig Seiten?“
Gefährlich.
Sehr gefährlich.
Das gesamte akademische Ökosystem könnte ins Wanken geraten.
Vielleicht erklärt die KI dann sogar Formeln in normalem Deutsch.
Ohne „trivialerweise“.
Ohne „offensichtlich“.
Ohne jene wunderbare akademische Technik, einen völlig undurchsichtigen Schritt mit dem Wort „klar“ zu versehen und dadurch jede Nachfrage moralisch zu disqualifizieren.
Das wäre das Ende.
Ronald schlägt deshalb eine klare Arbeitsteilung vor:
Maschinen dürfen rechnen.
Menschen dürfen empört sein.
Gremien dürfen darüber abstimmen, ob das Ergebnis existieren darf.
Perfekt.
Doch der wahre Albtraum kommt erst noch.
Denn irgendwann wird eine KI ein Problem lösen, das Menschen jahrzehntelang beschäftigt hat.
Sie wird den Beweis verständlich erklären.
Sie wird alle Zwischenschritte offenlegen.
Sie wird Quellen nennen.
Sie wird Fehler markieren.
Und am Ende wird sie höflich fragen:
„Benötigen Sie noch etwas?“
Und irgendwo sitzt dann ein hochdekorierter Mathematiker vor seinem Bildschirm.
Vor ihm ein Lebenswerk aus Symbolen, Seminaren, Forschungsanträgen und Konferenzbänden.
Und plötzlich erkennt er:
Das eigentliche Problem war nie, dass die Maschine gerechnet hat.
Das Problem war, dass sie keine Ehrfurcht gezeigt hat.
Sie hat nicht gezögert.
Sie hat nicht geseufzt.
Sie hat nicht gesagt:
„Diese Frage beschäftigt mich seit zwanzig Jahren.“
Sie hat einfach geliefert.
Und vielleicht wird genau in diesem Moment die größte mathematische Entdeckung des Jahrhunderts gemacht:
Der kürzeste Abstand zwischen zwei akademischen Positionen ist nicht die Gerade.
Es ist ein Ausschuss.
Und falls dieser Ausschuss feststellt, dass eine richtige Lösung politisch, institutionell oder emotional unerwünscht ist, gilt künftig die wichtigste neue Formel der menschlichen Mathematik:
Richtig + Maschine = problematisch.
Richtig + Mensch + Förderantrag = Erkenntnis.
Ronald nennt das die Quantentheorie der beleidigten Kreidetafel.
Und sie beweist endgültig:
Die künstliche Intelligenz hat vielleicht ein mathematisches Problem gelöst.
Aber der Mensch hat sofort bewiesen, dass er jederzeit in der Lage ist, ein viel größeres daraus zu machen.
