Ein autodidaktischer Kliniker und eine 16-stündige KI-Sitzung lösten eines der ungelösten Probleme der angewandten Mathematik.
In Kürze
Ein Pekinger Neurochirurg verwendete GPT-56, um eine 20 Jahre alte mathematische Vermutung zu beweisen, was auf eine Verschiebung in der Frage hindeutet, wer Forschung betreiben – und verifizieren – kann.
Shanmu Jin, Postdoktorand und Assistenzarzt für Neurochirurgie am Peking Union Medical College Hospital in Peking, hat die Crouzeix-Vermutung bewiesen – ein Problem der Matrizenanalysis, das über zwei Jahrzehnte ungelöst war. Der entscheidende Beweis stammte nicht aus einem Mathematikinstitut: Er tauchte während eines 16-stündigen autonomen Laufs eines Computerprogramms auf. GPT-56 Sol im Inneren ChatGPT Arbeitsmodus, gesteuert durch eine sorgfältig ausgearbeitete Anweisung, die Jin selbst entworfen hat.
Jin näherte sich dem Problem auf einem unkonventionellen Weg. Er studierte Geologie, erwarb später einen Doktortitel in Medizin und eignete sich seine mathematischen Kenntnisse im Selbststudium an, zunächst motiviert durch seine Forschung im Bereich des transkraniellen Ultraschalls. Die 2004 formulierte Crouzeix-Vermutung betrifft den Zusammenhang zwischen der Spektralnorm einer Matrix und dem Maximum eines Polynoms in seinem Zahlenbereich – einem kompakten, konvexen Gebiet der komplexen Ebene, das mehr vom Verhalten einer Matrix erfasst als ihre Eigenwerte allein. Ihre Lösung findet direkte Anwendung in der Analyse von Matrixfunktionen, iterativen Lösungsverfahren wie GMRES und rationalen Krylov-Methoden.
Anstatt das Modell interaktiv anzusteuern, führte Jin eine verlängerte autonome Sitzung mit einer von einem anderen System adaptierten Prompt-Architektur durch. OpenAI Das Modell wurde für ein früheres mathematisches Ergebnis, die Cycle Double Cover Conjecture, entwickelt. Es wurde so konzipiert, dass dem Modell der Internetzugang verwehrt blieb. Es setzte konkurrierende Subagenten ein, die unabhängig voneinander verschiedene Beweisstrategien entwickelten und auf ihre Belastbarkeit testeten. Dabei wurden explizite Anweisungen gegen vorzeitige Konvergenz gegeben und die Argumentation nur durch konkrete Gegenbeispiele widerlegt. Das Modell wurde angewiesen, so lange fortzufahren, bis ein vollständiger Beweis die interne Überprüfung bestanden hatte. Der daraus resultierende Preprint, veröffentlicht am 27. Juli 2026, enthält die vollständige Aufgabenstellung, die aufeinanderfolgenden Manuskriptentwürfe, eine Lean-Formalisierung und ein Axiom-Audit.
Die Bestätigung durch Gleichaltrige und die Frage, wer heute Mathematik macht
Der Beweis wurde von dem Mathematiker Alex Townsend von der Cornell University, der Numerikerin Anne Greenbaum und Michel Crouzeix selbst – dem ursprünglichen Verfasser der Vermutung – geprüft und bestätigt. Das formale Peer-Review-Verfahren läuft noch. Acht Tage nach Erscheinen des ersten Preprints veröffentlichten die Mathematiker Emiel Lorist und Felix Schwenninger einen unabhängigen, fünfseitigen Beweis, der eine andere Methode verwendet und die klassische Doppelschichtpotentialtheorie mit einem Störungslemma für 2-Dilatationen kombiniert. Jin begrüßte das parallele Ergebnis als Ergänzung zu seiner eigenen Arbeit.
Diese Episode verdeutlicht einen strukturellen Wandel in der mathematischen Forschung, der kaum zu übersehen ist. Wenn ein seit 2004 ungelöstes Problem von einem autodidaktischen Kliniker mithilfe eines KI-Tools für Endverbraucher gelöst wird, sinken die Hürden für neue Ergebnisse erheblich – während gleichzeitig das zur Überprüfung dieser Ergebnisse benötigte Fachwissen konzentrierter und wertvoller wird.
Für den Bereich der KI liefert dieser Fall ein konkretes Beispiel dafür, was moderne Sprachmodelle leisten können, wenn sie gut strukturierte autonome Aufgaben erhalten und ausreichend Rechenzeit zur Verfügung steht. Ob die mathematische Gemeinschaft über die nötige Infrastruktur verfügt, um die möglicherweise entstehende Menge an Ergebnissen zu verarbeiten, bleibt eine offene Frage.
Disclaimer
Im Einklang mit der Richtlinien des Trust-ProjektsBitte beachten Sie, dass die auf dieser Seite bereitgestellten Informationen nicht als Rechts-, Steuer-, Anlage-, Finanz- oder sonstige Beratung gedacht sind und nicht als solche interpretiert werden sollten. Es ist wichtig, nur so viel zu investieren, wie Sie sich leisten können, zu verlieren, und im Zweifelsfall eine unabhängige Finanzberatung einzuholen. Für weitere Informationen empfehlen wir einen Blick auf die Allgemeinen Geschäftsbedingungen sowie die Hilfe- und Supportseiten des Herausgebers oder Werbetreibenden. MetaversePost ist einer genauen, unvoreingenommenen Berichterstattung verpflichtet, die Marktbedingungen können sich jedoch ohne Vorankündigung ändern.
Über den Autor
Alisa, eine engagierte Journalistin bei der MPost, ist spezialisiert auf Krypto, KI, Investitionen und das weitreichende Gebiet von Web3. Mit einem scharfen Blick für neue Trends und Technologien liefert sie eine umfassende Berichterstattung, um die Leser über die sich ständig weiterentwickelnde Landschaft des digitalen Finanzwesens zu informieren und einzubeziehen.
Weitere Artikel
Alisa, eine engagierte Journalistin bei der MPost, ist spezialisiert auf Krypto, KI, Investitionen und das weitreichende Gebiet von Web3. Mit einem scharfen Blick für neue Trends und Technologien liefert sie eine umfassende Berichterstattung, um die Leser über die sich ständig weiterentwickelnde Landschaft des digitalen Finanzwesens zu informieren und einzubeziehen.
