Chinesische Forscher lösen die 3D-Ghys-Vermutung mit heimischem KI-Modell

Ein Team unter Leitung von Professor Xu Disheng von der Greater Bay University berichtet, gemeinsam mit dem Wissenschaftsmodell Intern-S2 des Shanghai AI Laboratory einen vollständigen Beweis der dreidimensionalen Ghys-Vermutung erbracht zu haben – ein Problem der komplexen Dynamik, das Étienne Ghys 1995 aufstellte und das über 30 Jahre ungelöst blieb. Ein Team der Peking-Universität führte unabhängig eine formale maschinelle Verifikation aller Kerntheoreme durch und erzeugte Hunderttausende Zeilen Verifikationscode. Die Arbeit liegt auf einer Preprint-Plattform vor, der Verifikationscode ist vollständig offen – ein markanter Fall dafür, wie ein KI-Modell zu einem großen mathematischen Beweis beiträgt.

• Hacker News (AI)2026-10-18 20:19