Unerwarteter Durchbruch: Ein chinesischer Neurochirurg beweist mit GPT-5.6 eine mathematische Hypothese, die seit zwei Jahrzehnten ungelöst war

Am 14. August 2026 wurde die weltweite wissenschaftliche Gemeinschaft von einer sensationellen Entdeckung an der Schnittstelle von Medizin und künstlicher Intelligenz erschüttert. Dr. Jin Shanmu, Neurochirurg und Wissenschaftler am Peking Medical University Hospital, hat erfolgreich die Kruse-Hypothese bewiesen – eine der schwierigsten Aufgaben im Bereich der linearen Algebra, an der Mathematiker seit 2004 gearbeitet haben. Bemerkenswerterweise spielte das neueste Modell von OpenAI, die Version GPT-5.6-Sol, die auf der Plattform ChatGPT Work läuft, eine Schlüsselrolle bei der Lösung.

Von der Geologie zur Medizin und Mathematik: Der Weg eines Autodidakten

Die Biografie von Dr. Jin Shanmu ist selbst ein seltener Beispiel für interdisziplinären Erfolg. Er verfügt über keine formale mathematische Ausbildung. An der Universität studierte er Geologie, bevor er sich in die Medizin umqualifizierte, wo sein Wissen in Mathematik auf Grundkurse für Naturwissenschaften beschränkt war. Den restlichen Wissensschatz hat er sich aus persönlichem Interesse autodidaktisch angeeignet.

Ursprünglich war es nicht das Ziel von Dr. Jin, ein fundamentales mathematisches Problem zu lösen. Er versuchte, eine berufliche Aufgabe im Zusammenhang mit der Ultraschalltechnologie zur Untersuchung des Gehirns zu optimieren. Während der Datenanalyse stieß er auf einen komplexen Bereich der Matrixanalyse, der ihn zur Kruse-Hypothese führte.

Die Rolle der künstlichen Intelligenz beim Beweis

Das Schlüsselinstrument bei der Arbeit war das Modell GPT-5.6-Sol. Laut Berichten arbeitete das System 16 Stunden ununterbrochen und half dem Arzt, seine Gedanken zu strukturieren und Berechnungen zu überprüfen. Die Kruse-Hypothese besagt, dass die Norm jeder Matrixfunktion das doppelte Maximum dieses Funktionswerts im numerischen Definitionsbereich der Matrix nicht überschreitet. Diese Aufgabe hatte Experten auf der ganzen Welt seit zwei Jahrzehnten vor ein Rätsel gestellt.

Der Erfolg von Dr. Jin zeigt, wie moderne KI-Modelle als starker Katalysator für Forscher dienen können, die keine Spezialisten in einem bestimmten Bereich sind, aber über hohe Motivation und die Fähigkeit zum Selbstlernen verfügen.

Bestätigung durch die Weltgemeinschaft

Die Informationen über den Durchbruch wurden der Öffentlichkeit durch eine Kette von Ereignissen zugänglich, die von bekannten Mathematikern initiiert wurde. Professor Alex Townsend von der Cornell University und Professor Anne Greenbaum von der University of Washington, die seit mehr als einem Jahr versuchten, dieses Problem mit Hilfe von KI zu lösen, erhielten am 30. Juli eine Benachrichtigung vom Modell. Die KI führte sie zu einem Artikel, der drei Tage zuvor im Internet veröffentlicht worden war, in dem Jin Shanmu als Hauptautor aufgeführt war.

Herr Townsend, Herr Greenbaum und der Autor der Hypothese selbst, Michel Kruse, haben das Manuskript geprüft und die Richtigkeit des Beweises bestätigt. Obwohl die Arbeit noch keine formale Begutachtung in einem Fachjournal durchlaufen hat, verleiht die Autorität dieser Wissenschaftler der Entdeckung maximale Bedeutung.

Kontext: KI als neuer Motor der Wissenschaft

Dieses Ereignis ist kein isolierter Fakt, sondern Teil eines globalen Trends, bei dem KI zum Hauptinstrument mathematischer Entdeckungen wird. Anfang dieses Jahres kündigte OpenAI ein internes Modell an, das das 80 Jahre alte Problem des Einheitsabstands in der Ebene löste, das von Paul Erdős aufgestellt wurde. Auch wurde über Fortschritte bei der Lösung von 10 anderen Problemen mit dem Modell Astra berichtet.

In der wettbewerbsintensiven Umgebung hat auch die Firma Anthropic von Durchbrüchen ihres Modells Claude im Bereich der Riemann-Hypothese berichtet. Der Fall von Dr. Jin ist jedoch einzigartig, da die Lösung nicht von einem professionellen Mathematiker, sondern von einem praktizierenden Arzt gefunden wurde, der KI als „zweiten Piloten“ einsetzt.

Widersprüchliche Daten

Während der Faktenprüfung wurden geringfügige Diskrepanzen in den Details bezüglich der Chronologie und technischer Nuancen festgestellt. In den ursprünglichen Berichten einiger Medien wurde erwähnt, dass das Modell „mehrere Wochen“ gearbeitet habe, während Dr. Jin in einem Interview von einer ununterbrochenen Sitzung von 16 Stunden sprach. Wahrscheinlich handelt es sich um zwei verschiedene Phasen: eine 16-stündige finale Sitzung des Beweises und eine längere vorläufige Analyse.

Auch gibt es Verwirrung bei den Modellnamen. In einigen Quellen wird das Modell „Astra“ als dasjenige genannt, das Probleme löst, in anderen hingegen „GPT-5.6-Sol“. Da Astra als internes Forschungsmodell von OpenAI positioniert wird und GPT-5.6-Sol als Version für die Plattform ChatGPT Work, ist es möglich, dass Dr. Jin die öffentliche Version verwendet hat, die auf denselben architektonischen Prinzipien basiert wie Astra.