Hat ein Praktikumsarzt am Peking Union Medical College Hospital tatsächlich das Problem gelöst, das die Mathematikgemeinschaft 22 Jahre lang geplagt hat?

Gerade ist die Mathematikwelt in Aufruhr geraten.

Eine zentrale Vermutung, die die weltweit führenden Mathematiker 22 Jahre lang gequält hat, wurde tatsächlich von einem Neurochirurgen des Peking Union Medical College Hospital gelöst?

Er erlernte Mathematik im Selbststudium und ließ ChatGPT 5.6 16 Stunden lang autonom laufen, um diesen 22 Jahre alten mathematischen Kriminalfall zu beenden. Das ist absolut surreal.

Am 30. Juli 2026 öffnete Alex Townsend, Professor am Fachbereich Angewandte Mathematik der University of Washington in den USA, wie üblich arXiv.

In dem vorangegangenen Jahr hatte Townsend fast eine zwanghafte Gewohnheit entwickelt: Er stellte GPT 5.6 in regelmäßigen Abständen Fragen und versuchte, es dazu zu bringen, den berühmten ungelösten Fall im Bereich der numerischen linearen Algebra zu beweisen – die Crouzeix-Vermutung.

In den vergangenen Hunderten von Versuchen wiesen die von der KI gegebenen Antworten entweder unzählige logische Lücken auf oder gerieten in eine Sackgasse, wenn sie versuchten, ein bestimmtes zentrales Lemma zu überwinden. Die Menschheit ist 22 Jahre lang vor dieser Vermutung an eine Wand gestoßen, und die KI schien nicht klüger zu sein als der Mensch.

Doch an diesem Tag wurde die Crouzeix-Vermutung, die die Welt der numerischen linearen Algebra 22 Jahre lang gequält hat, bewiesen.

Der Autor ist kein Mathematiker, sondern ein Assistenzarzt für Neurochirurgie am Peking Union Medical College Hospital, Shanmu Jin.

Er hat keinen regulären akademischen Hintergrund in höherer Mathematik, sein Bachelorstudium war Geowissenschaften, später erwarb er einen Doktortitel in Medizin, und sein einziger Helfer war GPT-5.6.

GPT-5.6 löste dieses schwierige Problem in einem etwa 16-stündigen autonomen Lauf ohne menschliches Eingreifen.

Und in der Liste der Prüfer befindet sich Michel Crouzeix selbst – derjenige, der dieses Problem vor 22 Jahren selbst aufgeworfen hat, bestätigt nun persönlich, dass es gelöst ist.

Auch Townsend und Greenbaum sind Experten auf diesem Gebiet. Nachdem sie den Lösungsprozess gelesen hatten, beschrieben sie ihr Gefühl mit nur zwei Wörtern: „Schock“.

Wenn ein Assistenzarzt des Peking Union Medical College Hospital Mathematik selbst lernt

Der Protagonist der Geschichte heißt Shanmu Jin, Postdoktorand und Assistenzarzt für Neurochirurgie am Peking Union Medical College Hospital.

Sein Lebenslauf hat nichts mit Mathematik zu tun.

Sein Bachelorstudium war Geologie, später wechselte er zur Medizin und erwarb schließlich einen Doktortitel in Medizin. Die gesamte mathematische Ausbildung, die er erhalten hat, waren die Grundkurse, die normale naturwissenschaftliche Studenten belegen.

„Alle weiteren mathematischen Kenntnisse habe ich mir selbst beigebracht“, schrieb Dr. Jin beiläufig in einer E-Mail an die Originalautoren (Alex Townsend und Anne Greenbaum).

Warum beschäftigt sich ein Neurochirurg mit harten mathematischen Vermutungen?

Alles stammt von einem Problem, das Dr. Jin in seiner klinischen und wissenschaftlichen Arbeit begegnet ist: der Forschung zur transkraniellen Ultraschallanwendung.

Als er versuchte, mit Ultraschall durch die komplexe Schädelstruktur des Menschen zu dringen, stieß er in das weite Gebiet der „Matrixanalyse“ ein. Während des Selbststudiums stieß er zufällig auf den berühmten Namen, der in der Welt der numerischen linearen Algebra allseits bekannt ist – die Crouzeix-Vermutung.

Die Formulierung dieser Vermutung ist außerordentlich einfach, und die dahinter stehende geometrische Anschauungsform des „Numerischen Bereichs“ ist äußerst reizvoll. Diese extreme Einfachheit und Schönheit zog den Quereinsteiger tief in ihren Bann.

Er beschloss, es zu versuchen. Nicht mit herkömmlichen Ableitungen auf Papier, sondern mit großen Sprachmodellen.

Die „Teufelskonstante“, die die Mathematikwelt 22 Jahre lang gequält hat

Warum sind diese Mathematiker so schockiert? Zuerst müssen wir verstehen, wie schwierig die Crouzeix-Vermutung tatsächlich ist.

In der modernen angewandten Mathematik und im Ingenieurcomputing ist die Matrix eine universelle Sprache, die das Funktionieren aller Dinge beschreibt.

Von der Zustandsüberlagerung in der Quantenmechanik über den PageRank-Algorithmus der Google-Suche bis hin zur Iteration von riesigen Parametern beim Training großer Sprachmodelle heute handelt es sich im Wesentlichen um die Projektion und Entwicklung riesiger Matrizen auf der komplexen Ebene.

Das Verhalten nicht normaler Matrizen ist jedoch äußerst unvorhersehbar, sie sind wie eine Gruppe launischer, unberechenbarer Bestien.

Um sie zu zähmen, stellte der französische Mathematiker Michel Crouzeix im Jahr 2004 eine wunderschöne Vermutung mit großer geometrischer Anschaulichkeit auf:

Für jedes beliebige Polynom p auf der komplexen Ebene und jede beliebige Matrix A kann ihre Spektrumnorm immer durch ihren Maximalwert auf dem „Numerischen Bereich“ W(A) beschränkt werden.

Und die optimale Konstante zwischen diesen beiden Werten beträgt genau 2.

Formal ausgedrückt lautet sie:

Diese Ungleichung ist in der angewandten Mathematik von äußerster Bedeutung.

Wenn sie gilt, können wir den skalaren Näherungsfehler auf der komplexen Ebene direkt in die Normgrenze der Matrixfunktion umwandeln. Dies ist von entscheidender Bedeutung für die Analyse von Matrixfunktionen, dem GMRES-Iterationsverfahren und dem Krylov-Unterraumverfahren.

Dennoch wurde der „Beweis, dass diese Konstante 2 ist“ zum Albtraum unzähliger Mathematiker.

Aber die Tür zur Konstante „2“ blieb fest verschlossen. Bis zum 30. Juli 2026.

Im Jahr 2007 konnte Crouzeix selbst nach großer Anstrengung nur beweisen, dass die Ungleichung gilt, wenn die Konstante 11,08 beträgt.

Zehn Jahre später, im Jahr 2017, veranstaltete das American Institute of Mathematics (AIM) in San Jose eine einwöchige Fachkonferenz, bei der weltweit führende Experten zusammenkamen, um verschiedene Ansätze wie theoretische Wege, numerische Beweise und Matrizerweiterungen zu erörtern. Crouzeix und sein Koautor Palencia konnten diese universelle Konstante schließlich auf 2,414 senken.

Seitdem scheint das mathematische Werkzeugkasten der Menschheit sein letztes Tropfen Öl verbraucht zu haben.

Bis zu diesem Sommer trat ein „Außenseiter“ mit einem Skalpell ein.

Modifizierte „göttliche Prompting“, ChatGPT läuft 16 Stunden lang ununterbrochen

Wie hat ein Assistenzarzt für Neurochirurgie am Peking Union Medical College Hospital mit einem extrem anstrengenden klinischen Zeitplan das geschafft?

Das Geheimnis liegt in der Prompt-Engineering-Technik.

Dr. Jin nutzte die KI nicht als einfache Frage-Antwort-Maschine, sondern verwandelte sie in ein riesiges virtuelles Mathematikinstitut.

Er adaptierte und modifizierte das berühmte Prompting, das OpenAI bei der Lösung der Cycle-Double-Cover-Vermutung verwendet hatte, und legte eine sehr strategische Anordnung fest:

Physische Trennung vom Netz (Entzug externer Abhängigkeiten): Das Prompting schnitt explizit den Zugriff des Systems auf das öffentliche Internet und andere externe Kontexte ab. Er wollte nicht, dass die KI in Suchmaschinen die alten, fehlgeschlagenen Ideen der Menschheit „abschreibt“, sondern zwang sie, von Axiomen aus rein originell zu denken.

Mehrzweige und divergentes Denken (Verweigerung vorzeitiger Konvergenz): Er forderte ChatGPT auf, eine große Anzahl von „Subagenten“ zu starten, die entlang völlig unterschiedlicher Pfade separat forschen. In der Anweisung wurde streng gewarnt: Konvergiert nicht vorzeitig auf denselben, verlockend erscheinenden Gedanken!

Grausame gegnerische Prüfung (Wettbewerbsmodus): Kandidaten-Beweisstrategien müssen wiederholt gegnerischen Prüfungen unterzogen werden. Nur wenn andere Agenten erfolgreich Gegenbeispiele finden, wird ein Weg endgültig ausgeschlossen.

Entschlossenheit, bis zum Ende durchzuhalten: Das Prompting gab einen unumgänglichen Befehl: Vor Erhalt eines vollständigen Beweises, der extremen logischen Prüfungen standhält, darf auf keinen Fall aufgegeben werden.

Nachdem er all das eingestellt hatte, drückte Dr. Jin die Eingabetaste und ging dann zur Arbeit, ohne sich weiter einzumischen.

Im ChatGPT-Work-Modus lief GPT-5.6 Sol wie ein unermüdliches digitales Ungeheuer 16 Stunden lang ununterbrochen in der Tiefsee der Mathematik.

In diesen 16 Stunden durchlief die KI zehntausende Male Hypothesen, Widerlegungen und Rekonstruktionen und gelangte schließlich zu einem erfolgreichen Beweis.

Als die Mathematiker diesen Satz sahen, waren sie zutiefst beeindruckt: Die KI verwendete nicht die von Menschen erwarteten extrem komplizierten harten Schätzungen, sondern vereinfachte das Problem durch eine geniale „Abtaststrategie“ zu einem überraschend einfachen „Positivitätsbedingung“.

Das ist so, als hätte die Menschheit immer versucht, eine riesige Eisentür mit roher Gewalt aufzudrücken, während die KI nur einen extrem kleinen Angriffspunkt im Türspalt fand, leicht drückte und die Tür öffnete – es ist eine echte Dimensionsreduktionsattacke.

Dr. Jin gab bescheiden an, dass das Finden dieses entscheidenden Gedankens „sicherlich einen Anteil am Glück hat“. Aber alle wissen, dass Chancen nur denen gehören, die einen perfekten Kompass entworfen haben.

Noch bewundernswerter ist, dass Dr. Jin den gesamten Prozess vollständig quelloffen gemacht hat. In seinem GitHub-Repository befinden sich nicht nur die endgültige Arbeit, sondern auch das geniale Prompting, die Manuskripte aller Iterationen, der formale Beweiscode in Lean 4 sowie der Axiom-Prüfbericht. Alles ist öffentlich und wird von der gesamten Menschheit geprüft.

Quelloffene Adresse: https://github.com/jinshanmu/CrouzeixConjecture

Preprint: https://www.preprints.org/frontend/manuscript/f5469a625a8e7313e19bbf4d6c608cff/download_pub

Der zweite Beweis acht Tage später: Die Erschütterung der Mathematikwelt

Anfangs betrachteten die führenden Mathematiker diesen plötzlich erschienenen Preprint mit Skepsis. Immerhin ist die „Ankündigung eines Außenseiters, eine weltbekannte Vermutung gelöst zu haben“ in der Mathematikwelt oft eine Farce.

Aber nur wenige Stunden später wandelte sich die Skepsis von Alex Townsend und Anne Greenbaum in Schock und schließlich in Erstaunen – „Diese Argumentation ist tatsächlich gültig!“

Daraufhin trat der berühmte Mathematiker Michel Crouzeix, der Urheber der Crouzeix-Vermutung, persönlich auf den Plan und prüfte diesen Beweis Zeile für Zeile.

Schließlich fiel die endgült