Anthropic veröffentlichte am 27. Oktober 2026 einen Preprint, der einen deterministischen Algorithmus mit subexponentieller Laufzeit für 3-SAT beansprucht. Sollte das Ergebnis einer Prüfung standhalten, würde es die Exponentialzeit-Hypothese widerlegen.
Im Anthropic-Preprint beträgt die beanspruchte Laufzeit 2^o(n), und laut Papier liefert derselbe Ansatz auch ein subexponentielles Ergebnis für #3-SAT. Anthropic zufolge wurde der Kernalgorithmus am 16. Oktober von einem internen Claude-Forschungsmodell mit 14M ausgegebenen Tokens und ohne menschliche Eingaben gefunden, bevor Forschende gemeinsam mit Claude das Papier ausarbeiteten.
Anthropic veröffentlichte zusammen mit dem Preprint auch ein Lean-4-Artefakt. Laut README prüft Lean die Beweise, aber keine Maschine überprüft, ob die Lean-Aussagen exakt mit dem Papier übereinstimmen. Dasselbe Repository erklärt zudem, dass das Ergebnis rein asymptotisch ist und keine Aussage über praktisches SAT-Lösen trifft.
Die wichtigste Einschränkung: Es handelt sich weiterhin um eine ungeprüfte Behauptung. Das Papier und die Formalisierung sind öffentlich zugänglich, ersetzen aber nicht die unabhängige Prüfung durch Komplexitätstheoretiker.