Um artigo depositado pela Anthropic afirma que um modelo interno do Claude também refutou a Hipótese do Tempo Exponencial

Um preprint no hexagonmath.org, listado como depositado pela Anthropic em 27 de outubro de 2026, afirma apresentar um algoritmo determinístico para 3-SAT com n variáveis que executa em tempo 2^o(n), o que refutaria a Hipótese do Tempo Exponencial (ETH). O texto diz que o algoritmo também resolve o problema mais difícil de #3-SAT, que conta as atribuições satisfatórias, e que o resultado foi formalizado em Lean 4.

Segundo a declaração de procedência do artigo, um modelo interno de pesquisa do Claude encontrou o algoritmo central em 16 de outubro, usando 14 milhões de tokens de saída e sem intervenção humana; depois, pesquisadores da Anthropic trabalharam com o Claude para aprimorar a apresentação. O artigo acrescenta que um modelo interno da OpenAI afirma ter provado, de forma independente e simultânea, um resultado semelhante; cita o próprio preprint da OpenAI, de 26 de outubro. Tudo isso é uma afirmação dos autores e não foi verificado de forma independente.

O artigo foi compartilhado no Hacker News (22 pontos e 6 comentários até 27 de outubro), onde um comentarista observou que a data alegada para a descoberta é a mesma da OpenAI.