Neuberg (dpo) – Kaum hatte das Unternehmen Nexora AI am Freitag stolz verkündet, sein KI-System "Reason-Max" habe die seit 1946 ungelöste Unit-Distance-Vermutung widerlegt, löste auch das konkurrierende System "Logicus Pro" der Firma Veridion Labs das Problem – und zwar deutlich eleganter.

Laut Entwicklungsingenieur Dr. Hendric Velten habe Logicus Pro "übers Wochenende" einen "wesentlich hübscheren und einfacheren Beweis" gefunden, während die Marketingabteilung von Nexora AI noch an der Formulierung "historischer Durchbruch für die Menschheit" feilte. "Wir haben die Lösung am Samstagmorgen entdeckt, wollten aber aus Höflichkeit bis Montag warten", so Velten. "Dummerweise hat sich das Problem als deutlich weniger schwierig herausgestellt als gedacht."

Branchenexperten sprechen bereits von einem "ernsthaften Überhang" bei KI-gestützten mathematischen Entdeckungen. "Mittlerweile stapeln sich die Lösungen für Jahrhundertprobleme schneller, als Fachzeitschriften die Peer-Review durchführen können", erklärt Prof. Sandra Torbeck vom Institut für Angewandte Digitalisierungsforschung. Allein in dieser Woche seien vier weitere ungelöste Vermutungen widerlegt worden, darunter zwei versehentlich von einem Chatbot für Hausaufgabenhilfe.

Nexora AI kündigte inzwischen an, künftig nur noch Probleme zu lösen, die mindestens 100 Jahre alt sind, "um der Konkurrenz einen fairen Vorsprung zu lassen".