Chinesisches KI-Modell beteiligt an Beweis der Ghys-Vermutung

Forschung

Ein Team chinesischer Wissenschaftler hat nach Angaben des Shanghai AI Lab die dreidimensionale Ghys-Vermutung bewiesen, ein seit über 30 Jahren offenes Problem der Mathematik. Dabei kam das multimodale KI-Modell Intern-S2 zum Einsatz. Laut der Meldung ist es das erste Mal, dass chinesische Forscher mit einem chinesischen Large Language Model ein weltweit anerkanntes mathematisches Problem gelöst haben. Geleitet wurde die Arbeit von Xu Disheng, Gastwissenschaftler am Shanghai AI Lab und Professor an der Greater Bay Area University.

Das Team von Xu Disheng nutzte Intern-S2 nach einem Ansatz, den die Quelle als "Verschmelzung von Generalisten- und Spezialistenwissen" bezeichnet, und erarbeitete den Beweis im Zusammenspiel von Mensch und Modell. Dong Bin, Professor an der Peking-Universität, und Liu Ruochuan, Akademiemitglied, prüften den Beweis anschließend mit einem selbst entwickelten Verifikationswerkzeug namens SHEAF und bestätigten damit dessen Richtigkeit. Die Ghys-Vermutung wurde 1995 von dem französischen Mathematiker Étienne Ghys aufgestellt. Sie besagt, dass jedes holomorphe Anosov-System auf einer kompakten komplexen Mannigfaltigkeit biholomorph konjugiert ist zu einem holomorphen affinen Automorphismus auf einer komplexen Infra-Nilmannigfaltigkeit.

Die beiden Quellen ordnen die Bedeutung des Problems unterschiedlich ein: AIbase schreibt, die Vermutung gelte seit langem als Prüfstein sowohl für künstliche Intelligenz als auch für menschliches mathematisches Denken. Yicai nennt sie dagegen nur einen Prüfstein für mathematisches Denken allgemein, ohne KI-Bezug.

Für mich liegt der eigentliche Punkt darin, dass die Lösung nicht allein vom Shanghai AI Lab behauptet, sondern von einem zweiten Team mit einem eigenen Verifikationswerkzeug formal geprüft wurde. Das unterscheidet die Meldung von reinen Leistungsschauen einzelner Modelle. Bemerkenswert finde ich außerdem, wie unterschiedlich die beiden Quellen einordnen, wofür die Ghys-Vermutung als Prüfstein gilt: einmal für KI und Mensch gemeinsam, einmal nur für mathematisches Denken allgemein. Das zeigt, wie schnell bei solchen Meldungen eine KI-Rahmung hinzukommt, die im eigentlichen mathematischen Fachdiskurs so nicht vorhanden sein muss.

Offen bleibt: Beide Berichte stützen sich ausschließlich auf die Mitteilung des Shanghai AI Lab, eine Veröffentlichung oder Prüfung durch externe Fachgutachter wird nicht erwähnt.

Quellen: AIbase News · Yicai neueste