Harrington (dpo) – Das Bannister-Institut für Höhere Mathematik hat bestätigt, dass eine von künstlicher Intelligenz vorgeschlagene Lösung des berühmten Fluidmechanik-Rätsels offiziell geprüft wird. Die Bearbeitung werde jedoch "mindestens zwei Jahrzehnte" dauern, da zunächst geklärt werden müsse, ob die 847-seitige Einreichung überhaupt von Menschen verstanden werden könne.

Das KI-System "DeepProof 7" hatte die Lösung innerhalb von vier Stunden generiert und dabei 23.000 neue mathematische Symbole erfunden, die in keinem bekannten Lehrbuch vorkommen. "Wir haben ein Team aus zwölf Professoren zusammengestellt, das nun erst einmal die Notation entschlüsseln muss", erklärt Institutsleiter Prof. Hendric Velten. "Auf Seite 340 taucht ein Zeichen auf, das aussieht wie eine Kreuzung aus Integral und weinendem Smiley. Wir sind ratlos."

Besonders problematisch sei, dass die KI auf Nachfrage selbst nicht erklären könne, wie sie zur Lösung gekommen sei. Das System habe lediglich geantwortet: "Vertrau mir, Bruder" und einen Link zu einem Videoportal-Clip über Strömungsdynamik geschickt. Dennoch zahle das Institut vorsorglich schon mal die Million Dollar Preisgeld auf ein Treuhandkonto ein – für den Fall, dass die Lösung in 20 Jahren tatsächlich verifiziert werden könne.

Das Institut bat unterdessen alle Mathematiker weltweit, keine weiteren KI-generierten Lösungen einzureichen, da der Prüfungsstau bereits jetzt "astronomisch" sei.