Em 16 de outubro de 2026, modelos de IA da OpenAI e da Anthropic derrubaram de forma independente a Exponential Time Hypothesis. Os dois laboratórios publicaram papers separados: a OpenAI com 67 páginas e a Anthropic com 49. Os dois chegaram ao mesmo resultado sem coordenação entre si.
A hipótese do tempo exponencial, proposta em 1999 por Russell Impagliazzo, Ramamohan Paturi e Francis Zane da Universidade da Califórnia em San Diego, afirma que o problema 3-SAT não pode ser resolvido com um algoritmo cujo tempo de execução cresça menos do que exponencialmente. Sobre ela, 27 anos de resultados teóricos foram construídos.
Como a IA derrubou a hipótese do tempo exponencial
No caso da Anthropic, o modelo encontrou o algoritmo central sem intervenção humana, usando aproximadamente 14 milhões de tokens de saída. O relatório lista "Claude, Anthropic" como coautor formal do paper. Esse número de tokens equivale a semanas de trabalho matemático concentrado.
A OpenAI descreveu um algoritmo determinístico que conta soluções válidas de fórmulas booleanas em tempo ligeiramente abaixo do exponencial. As provas de ambos os laboratórios foram verificadas no Lean, um assistente formal de provas que valida cada passo lógico automaticamente.
Ryan Williams do MIT, junto com Impagliazzo e Paturi, organizou uma revisão independente da comunidade. Williams descreveu partes das provas como "rotineiras" e outras como "alien-looking". Até novembro de 2026, nenhuma falha havia sido encontrada. Cerca de 800 artigos científicos dependem da hipótese do tempo exponencial ou de hipóteses ainda mais fortes. O pesquisador Daniel Lokshtanov da UC Santa Barbara estimou que aproximadamente 50 de seus artigos precisarão ser revistos.
Por que isso importa para o seu negócio
Antes de qualquer entusiasmo excessivo: o impacto no software hoje é zero. Os novos algoritmos só superam a força bruta com tamanhos de entrada da ordem de 10^10.000 variáveis — bem além de qualquer problema real. Um preprint publicado logo depois confirmou que a criptografia atual, incluindo curvas elípticas e RSA, não enfrenta nenhum risco.
O que o resultado demonstra, e isso tem impacto direto para empresas, é que IA já opera com capacidade de raciocínio matemático formal sem tutoria humana contínua. Se um modelo encontrou sem ajuda um algoritmo que matemáticos não conseguiram em 27 anos, as implicações para problemas de otimização em logística, finanças e engenharia são relevantes — mesmo que o caminho entre teoria e prática leve tempo.
A Anthropic usa IA de forma similar para acelerar descoberta científica em outras frentes. Leia sobre o caso Anthropic Mithril Medicine, onde IA está sendo aplicada à descoberta de medicamentos.
Peter Jonsson, da Universidade de Linkoping, disse que partes de seu trabalho ficaram "irrelevantes" com o resultado. Outros pesquisadores, como Victor Lagerkvist, já planejam retomar problemas que haviam abandonado por considerar impossíveis. A hipótese do tempo exponencial, por 27 anos tratada como verdade imutável, agora precisa ser revisitada.
Os papers originais e o material de revisão independente estão disponíveis no servidor de preprints arXiv.
Conteúdo reescrito e traduzido para PT pela redação luiscortex, revisado por humano.
Fonte: HackerNoon
