Artykuł zgłoszony przez Anthropic twierdzi, że wewnętrzny model Claude również obalił hipotezę wykładniczego czasu

Preprint opublikowany na hexagonmath.org, wskazany jako zgłoszony przez Anthropic 27 października 2026 r., przedstawia deterministyczny algorytm rozwiązujący 3-SAT dla n zmiennych w czasie 2^o(n), co obaliłoby hipotezę wykładniczego czasu (ETH). Według artykułu algorytm rozwiązuje również trudniejszy problem #3-SAT, polegający na zliczaniu spełniających przypisań, a wynik sformalizowano w Lean 4.

Zgodnie z oświadczeniem dotyczącym pochodzenia pracy, wewnętrzny model badawczy Claude znalazł kluczowy algorytm 16 października, wykorzystując 14 milionów tokenów wyjściowych i bez udziału człowieka. Następnie badacze Anthropic współpracowali z Claude nad ulepszeniem prezentacji. W artykule dodano, że wewnętrzny model OpenAI twierdzi, iż niezależnie i równolegle dowiódł podobnego wyniku; przywołano preprint OpenAI z 26 października. Wszystkie te informacje są twierdzeniami autorów i nie zostały niezależnie zweryfikowane.

Artykuł udostępniono na Hacker News (22 punkty, 6 komentarzy do 27 października), gdzie jeden z komentujących zauważył, że podana data odkrycia jest taka sama jak w przypadku OpenAI.