San Francisco (dpo) – Ein führendes KI-Unternehmen hat nach eigenen Angaben das berühmte Hendrickson-Strömungsproblem gelöst, eines der sieben größten ungelösten Probleme der Mathematik. Allerdings kann niemand im Unternehmen erklären, wie die 166-seitige Lösung zustande kam oder ob sie überhaupt korrekt ist.

"Unser KI-System hat uns diesen Beweis geliefert, und wir haben ihn sofort eingereicht", erklärt Sprecherin Marion Veldhuis. "Ob die Mathematik darin stimmt, können wir leider nicht beurteilen – dafür sind wir ja Softwareentwickler und keine Mathematiker." Das Unternehmen habe sich nach eigenen Angaben bewusst gegen die Einstellung von Fachleuten entschieden, da diese "die kreative Freiheit der KI nur einschränken würden".

Besonders pikant: Mehrere unabhängige Mathematiker-Teams widersprechen der vom Unternehmen behaupteten Lösungsmethode. Die KI habe offenbar einen völlig anderen Ansatz gewählt als angegeben. "Wir haben einfach die Pressemitteilung geschrieben, die am beeindruckendsten klang", räumt Veldhuis ein. "Was in dem Beweis tatsächlich steht, haben wir nicht geprüft – das Dokument ist sehr lang und enthält viele Formeln."

Das Preisgeld in Höhe von 850.000 Dollar wurde bereits überwiesen, kann aber laut Reglement erst ausgezahlt werden, wenn jemand die Lösung versteht. Das Unternehmen hat daher vorsorglich eine weitere KI beauftragt, den Beweis zu erklären. Diese lieferte eine 340-seitige Erläuterung, die niemand versteht.