Ein bei Anthropic eingereichtes Paper behauptet, ein internes Claude-Modell habe auch die Exponential Time Hypothesis widerlegt

Ein Preprint auf hexagonmath.org, der als am 27. Oktober 2026 von Anthropic eingereicht aufgeführt ist, behauptet, einen deterministischen Algorithmus für 3-SAT mit n Variablen zu beschreiben, der in 2^o(n) Zeit läuft. Das würde die Exponential Time Hypothesis (ETH) widerlegen. Dem Paper zufolge löst der Algorithmus auch das schwierigere #3-SAT-Problem, bei dem die erfüllenden Belegungen gezählt werden, und das Ergebnis wurde in Lean 4 formalisiert.

Laut der Herkunftsangabe des Papers fand ein internes Claude-Forschungsmodell am 16. Oktober den Kernalgorithmus – mit 14 Millionen Output-Tokens und ohne menschliche Eingabe. Anschließend arbeiteten Anthropic-Forschende mit Claude daran, die Darstellung zu verbessern. Das Paper ergänzt, ein internes Modell bei OpenAI behaupte, unabhängig und zeitgleich ein ähnliches Ergebnis bewiesen zu haben; als Beleg verweist es auf OpenAIs eigenen Preprint vom 26. Oktober. All dies sind Behauptungen der Autoren und wurde nicht unabhängig überprüft.

Das Paper wurde auf Hacker News geteilt (22 Punkte, 6 Kommentare bis zum 27. Oktober). Dort merkte ein Kommentator an, dass das behauptete Entdeckungsdatum mit dem von OpenAI übereinstimmt.