Un articolo depositato da Anthropic sostiene che anche un modello interno di Claude ha confutato l'Exponential Time Hypothesis

Un preprint su hexagonmath.org, indicato come depositato da Anthropic il 27 ottobre 2026, sostiene di presentare un algoritmo deterministico per 3-SAT su n variabili con tempo di esecuzione 2^o(n), che confuterebbe l'Exponential Time Hypothesis (ETH). Afferma che l'algoritmo risolve anche il problema più difficile #3-SAT, che conta le assegnazioni soddisfacenti, e che il risultato è stato formalizzato in Lean 4.

Secondo la dichiarazione sulla provenienza dell'articolo, un modello interno di ricerca di Claude ha trovato l'algoritmo centrale il 16 ottobre usando 14 milioni di token in output e senza alcun intervento umano; in seguito, i ricercatori di Anthropic hanno lavorato con Claude per migliorare la presentazione. L'articolo aggiunge che un modello interno di OpenAI sostiene di aver dimostrato in modo indipendente e in parallelo un risultato simile; cita il preprint di OpenAI del 26 ottobre. Sono tutte affermazioni degli autori e non sono state verificate in modo indipendente.

L'articolo è stato condiviso su Hacker News (22 punti e 6 commenti al 27 ottobre), dove un commentatore ha fatto notare che la data indicata per la scoperta coincide con quella di OpenAI.