OpenAI sagt, seine KI habe die Exponential Time Hypothesis widerlegt, eine aus dem Jahr 1999 stammende Informatik-Vermutung namens ETH. Das hat nichts mit Ethereum zu tun. Krypto-Trader verwechselten die beiden Begriffe kurzzeitig in sozialen Medien. Der Patzer zeigt, wie schnell KI-Mathematikbehauptungen auf fachfremde Märkte überschwappen können.
Was tatsächlich passiert ist
OpenAI veröffentlichte am 17. Oktober 2025 eine 67-seitige Arbeit (überarbeitet am 25. Oktober), in der das Unternehmen behauptet, seine KI habe einen deterministischen Algorithmus gefunden, der 3-SAT-Rätsel in subexponentieller Zeit löst – und damit die Exponential Time Hypothesis (ETH) widerlegt. Laut OpenAI fand das Modell die Widerlegung am 16. Oktober und formalisierte sie am Tag darauf mit dem Verifikationstool Lean. Beides liegt auf GitHub, zusammen mit 722 Mathematik-Manuskripten, die OpenAI bereits Anfang Oktober veröffentlicht hatte – von denen allerdings nur 162 ein computergeprüftes Ergebnis enthielten. Die Informatiker Russell Impagliazzo, Ramamohan Paturi und Ryan Williams vom MIT, die die unabhängige Überprüfung leiten, schrieben in einem offenen Brief, ein Ergebnis dieser Tragweite erfordere sorgfältige, unabhängige Prüfung, wie Decrypt berichtete. Anthropic zog am 26. Oktober mit einer eigenen Arbeit nach, in der das Unternehmen seinem Modell Claude einen ähnlichen 3-SAT-Algorithmus zuschreibt.
Wie es dazu kam
Die ETH wurde 1999 von Impagliazzo, Paturi und Francis Zane aufgestellt. Sie besagt, dass sich 3-SAT nicht wesentlich schneller lösen lässt als durch reines Ausprobieren (Brute Force). Laut OpenAI stützen sich hunderte Arbeiten in der Graphentheorie, der Computational Biology und bei Datenbanken auf genau diese Annahme. Die Behauptung löst nicht die Frage P versus NP, also ob sich jedes leicht überprüfbare Problem auch leicht lösen lässt. Anthropics Claude hatte bereits im September 2025 den Großen Fermatschen Satz in Lean formalisiert. Mathematiker Terence Tao hatte schon zuvor gewarnt, KI-Tools könnten offene Probleme plattwalzen, bevor Forscher sie zu Ende gebracht haben – eine Vorahnung dieser Überschneidung zwischen zwei KI-Laboren.
Warum das für dich wichtig ist
Für Ethereum-Halter ändert sich nichts. Dieses ETH hat nichts mit der Blockchain, ihrem Token oder ihrer Roadmap zu tun. Für KI-Forscher und Entwickler testet der Vorfall, wie schnell unbestätigte Behauptungen die Runde machen und wie formale Tools wie Lean die unabhängige Prüfung beschleunigen können. OpenAI erklärt, keine Vertraulichkeitsvereinbarungen (NDAs) unterzeichnet, Rohdaten veröffentlicht und 5.000.000 US-Dollar in die Simons Foundation investiert zu haben, um Review-Workshops zu finanzieren. Dieses Modell könnte zur Vorlage werden, wie KI-Labore umstrittene Beweise künftig veröffentlichen. Für die Krypto-Community ist die Verwechslung eine Erinnerung daran, Behauptungen zu prüfen, bevor man auf Schlagzeilen mit vertrauten Kürzeln reagiert.
Die größere Frage
Wenn KI-Modelle jahrzehntealte Vermutungen widerlegen können, bevor die Peer-Review abgeschlossen ist, wie sollte die Forschungsgemeinschaft dann neu definieren, was als Beweis gilt? Die Forscher, die die ETH einst aufstellten, haben OpenAIs Behauptung bislang nicht bestätigt – offen bleibt, ob maschinelle Formalisierung mit Tools wie Lean jemals den langsameren, menschlichen Prüfprozess ersetzen kann, auf den sich die Mathematik seit Jahrhunderten verlässt.
Worauf man achten sollte
Die unabhängige Prüfung durch Impagliazzo, Paturi und Williams läuft weiter, ein fester Termin wurde nicht genannt. OpenAIs Förderung der Simons Foundation in Höhe von 5.000.000 US-Dollar soll Workshops und eine eigene Konferenz zu dem Ergebnis finanzieren. Anthropics Claude-Arbeit vom 26. Oktober 2025 wartet noch auf ihre eigene Überprüfung. Krypto-Trader sollten beobachten, ob weitere KI-Mathematikbehauptungen für ähnliche Verwechslungen mit Token-Kürzeln sorgen.
