Autodidaktischer Kliniker und eine 16-stündige KI-Sitzung lösen ein zwei Jahrzehnte altes offenes Problem der angewandten Mathematik
Wichtige Erkenntnisse
- •Die Crouzeix-Vermutung wurde 2004 formuliert und betrifft eine Schranke, die die Spektralnorm einer Matrix mit Polynomen über ihrem numerischen Wertebereich verbindet.
- •Jin entwickelte seine mathematische Expertise durch eigenständiges Studium nach einer Ausbildung in Geologie und Medizin.
- •Der Beweis stammt aus einer 16-stündigen autonomen GPT-5.6-Sol-Sitzung im ChatGPT Work-Modus, die konkurrierende Subagenten und interne adversarische Tests nutzte.
- •Das Preprint vom 27. Juli 2026 umfasst den vollständigen Prompt, Entwurfsversionen, eine Lean-Formalisierung und eine Axiom-Prüfung.
- •Der Beweis wurde von Alex Townsend, Anne Greenbaum und Michel Crouzeix überprüft; ein unabhängiger Beweis von Emiel Lorist und Felix Schwenninger erschien acht Tage später.
Shanmu Jin, Postdoktorand und Assistenzarzt für Neurochirurgie am Peking Union Medical College Hospital in Peking, hat die Crouzeix-Vermutung bewiesen – ein Problem der Matrixanalysis, das mehr als zwei Jahrzehnte offen war. Das entscheidende Argument ging nicht aus einer mathematischen Fakultät hervor. Es entstand während eines 16-stündigen autonomen Laufs von GPT-5.6 Sol im ChatGPT Work-Modus, gesteuert von einem sorgfältig konstruierten Prompt, den Jin selbst entworfen hatte.
Ein unkonventioneller Weg zu einem klassischen Problem
Jins Weg zur Vermutung war alles andere als geradlinig. Er studierte Geologie im Grundstudium, erwarb später einen medizinischen Abschluss und baute sein mathematisches Wissen durch eigenständiges Selbststudium auf – ein Unterfangen, das anfänglich durch Forschung zu transkraniellem Ultraschall motiviert war.
Die Crouzeix-Vermutung, 2004 vom französischen Numeriker Michel Crouzeix formuliert, betrifft die Beziehung zwischen der Spektralnorm einer Matrix und dem Maximum eines Polynoms über ihrem numerischen Wertebereich – einem kompakten konvexen Gebiet der komplexen Ebene, das auch als Wertemenge (field of values) bekannt ist und mehr vom Verhalten einer Matrix erfasst als ihre Eigenwerte allein. Die Vermutung besagt, dass die Konstante 2 in dieser Schranke ausreicht, und 2 ist bekanntlich die kleinste mögliche Konstante; Crouzeix' ursprüngliche Arbeit erzielte eine endliche Konstante von 11,08, und die schärfste veröffentlichte Schranke – 1 + √2, etwa 2,414, von Crouzeix und Palencia aus dem Jahr 2017 – lag weiterhin über dem Ziel. Ihre Lösung hat direkte Anwendungen in der Analysis von Matrixfunktionen, in iterativen Lösern wie GMRES – ein Standardwerkzeug für die großen dünnbesetzten linearen Systeme, die in wissenschaftlichem Rechnen und Ingenieurssimulationen auftreten – sowie in rationalen Krylov-Verfahren.
Im Inneren der autonomen Sitzung
Statt das Modell interaktiv zu befragen, führte Jin eine erweiterte autonome Sitzung durch, die auf einer Prompt-Architektur basierte, die von einer Architektur adaptiert worden war, die OpenAI für ein früheres mathematisches Ergebnis entwickelt hatte – die Cycle-Double-Cover-Vermutung. Das Setup versagte dem Modell den Internetzugang. Es setzte konkurrierende Subagenten ein, die beauftragt waren, unterschiedliche Beweisstrategien unabhängig voneinander zu entwickeln und Belastungstests zu unterziehen, mit expliziten Anweisungen gegen vorzeitige Konvergenz und der Auflage, Kandidatenargumente ausschließlich durch konkrete Gegenbeispiele zu widerlegen. Das Modell wurde angewiesen, so lange fortzufahren, bis ein vollständiger Beweis die interne adversarische Überprüfung überstand.
Das daraus resultierende Preprint, veröffentlicht am 27. Juli 2026, umfasst den vollständigen Prompt, aufeinanderfolgende Entwurfsversionen, eine Lean-Formalisierung – eine maschinell überprüfbare Darstellung des Beweises in derselben Proof-Assistent-Technologie, mit der Mathematiker wie Terence Tao komplexe Argumente zertifiziert haben – sowie eine Axiom-Prüfung.
Peer-Bestätigung und die Frage, wer heute Mathematik betreibt
Der Beweis wurde von dem Cornell-Mathematiker Alex Townsend, der Numerikerin Anne Greenbaum und Michel Crouzeix persönlich – dem ursprünglichen Autor der Vermutung – überprüft und bestätigt. Die formale Peer-Review läuft noch.
Acht Tage nach dem Erscheinen des ersten Preprints veröffentlichten die Mathematiker Emiel Lorist und Felix Schwenninger einen unabhängigen fünfseitigen Beweis mit einer anderen Methode, der die klassische Doppelpotentialtheorie mit einem Störungslemma für 2-Dilatationen kombiniert. Jin begrüßte das parallele Ergebnis als Ergänzung zu seiner eigenen Arbeit.
Das Geschehen macht einen strukturellen Wandel in der mathematischen Forschung sichtbar, der sich schwer ignorieren lässt. Wenn ein seit 2004 offenes Problem von einem autodidaktisch ausgebildeten Kliniker mithilfe eines Consumer-KI-Tools gelöst wird, sinken die Hürden für die Erstellung neuer Ergebnisse erheblich – während die Fachkenntnisse, die zur Überprüfung dieser Ergebnisse erforderlich sind, entsprechend stärker konzentriert und wertvoller werden. Das Ergebnis setzt zudem ein dokumentiertes Muster von KI-Systemen fort, die in die Mathematik vordringen, in der Nachfolge von Google DeepMinds AlphaProof und AlphaGeometry 2, die bei der Internationalen Mathematik-Olympiade 2024 Silbermedaillen-Niveau erreichten.
Für den Bereich der KI bietet der Fall einen konkreten Nachweis dessen, was Frontier-Sprachmodelle leisten können, wenn ihnen gut strukturierte autonome Aufgaben und ausreichend Rechenzeit zur Verfügung stehen. Ob die mathematische Community über die Infrastruktur verfügt, um die Menge an Ergebnissen zu bewältigen, die folgen könnten, bleibt eine offene Frage.
Quelle: Metaverse Post
