Três letras baralharam a leitura de um anúncio científico: ETH. No trabalho apresentado pela OpenAI, não designam a Ethereum, mas a «hipótese do tempo exponencial», uma conjectura sobre a dificuldade de certos problemas de cálculo. A empresa afirma que os seus modelos encontraram uma refutação. Seria um resultado teórico de grande importância, mas a sua análise não se resume a ler o título do manuscrito.
O dossier publicado em outubro de 2026 permite distinguir a afirmação da OpenAI, o algoritmo descrito e o trabalho de compreensão desenvolvido pelos investigadores. Permite também afastar duas conclusões precipitadas: este anúncio não resolve P contra NP nem fornece, por si só, uma receita para piratear criptomoedas.
Um problema de regras a satisfazer
O problema estudado consiste em atribuir valores «verdadeiro» ou «falso» a variáveis, respeitando um conjunto de restrições. Uma variável pode surgir diretamente ou sob a sua negação. No caso denominado 3-SAT, cada cláusula contém, no máximo, três destes elementos; é preciso tornar simultaneamente verdadeiras todas as cláusulas.
Para imaginar o número de possibilidades, pensemos em interruptores com duas posições. Dez interruptores permitem 1 024 configurações; vinte permitem 1 048 576. Este exemplo ilustra o crescimento do número de combinações, não o tempo real de execução de um programa: um algoritmo pode evitar analisar cada uma delas.
A hipótese ETH não diz, portanto, simplesmente que é preciso experimentar todas as configurações. Estabelece um limite mais geral: não seria possível resolver todos os casos de 3-SAT em tempo subexponencial em relação ao número de variáveis. Melhorar a base de um crescimento exponencial não basta para a refutar. É preciso ultrapassar outra fronteira na forma como o tempo de cálculo aumenta.
Esta precisão muda o sentido do anúncio. Não se trata apenas de um programa um pouco mais rápido em exemplos difíceis. O manuscrito reivindica um método cujo limite de complexidade contradiz a própria conjectura.
O que o manuscrito reivindica
Na sua versão de 25 de outubro, o texto de 67 páginas apresenta um algoritmo determinístico: o seu funcionamento não depende de sorteios aleatórios. O algoritmo visa contar exatamente as atribuições que satisfazem uma fórmula, para cláusulas cujo tamanho máximo é fixado antecipadamente. Esta última condição é importante: o parâmetro que descreve esse tamanho não fica livre para crescer sem restrições à medida que o problema aumenta.
Contar as soluções também permite decidir se existe alguma. Se o número obtido for zero, a fórmula não é satisfazível; se for positivo, é. É esta passagem da contagem à decisão que liga o resultado anunciado à ETH.
O manuscrito anuncia um tempo subexponencial e um consumo polinomial de memória. Estas qualificações descrevem o crescimento dos recursos à medida que aumenta o tamanho das entradas. Não indicam um prazo em segundos para uma máquina específica. Um melhor desempenho teórico em escalas muito grandes pode continuar a implicar custos demasiado elevados para problemas correntes.
Esta distinção evita uma promessa prematura de utilização: o documento apresenta um resultado matemático reivindicado, não uma aplicação disponível cuja rapidez tenha sido medida aqui. Não se pode deduzir apenas do seu resumo qualquer ganho prático nos programas utilizados pelo leitor.
Uma prova formal não substitui toda a explicação
Na sua apresentação de 26 de outubro, a OpenAI indica que os seus modelos encontraram a refutação em 16 de outubro e que, no dia 17, se seguiu uma formalização em Lean. Lean é um assistente de prova: permite representar enunciados e raciocínios numa linguagem verificável por software. A empresa publicou o manuscrito e os elementos formais para análise.
Este tipo de ferramenta acrescenta uma possibilidade de verificação valiosa. Ainda assim, é preciso compreender que enunciado foi formalizado, segundo que definições e como corresponde à reivindicação científica. Verificar um ficheiro, interpretar o teorema e explicar a sua importância são tarefas relacionadas, mas distintas. Ler um artigo de apresentação não significa tê-las realizado.
O desafio para o leitor é não escolher entre a confiança automática e a rejeição automática. O nível de análise adequado consiste em identificar o resultado anunciado e as etapas que permitem a outros especialistas reconstruí-lo.
Os investigadores distinguem análise de certificação
Russell Impagliazzo, Ramamohan Paturi e Ryan Williams apresentaram uma iniciativa de análise e discussão. Na sua carta de 26 de outubro, esclarecem que a sua participação não equivale a certificar a reivindicação. Destacam a importância de uma compreensão que outros investigadores possam reconstruir, questionar e utilizar.
Este enquadramento é particularmente útil para um resultado apresentado como produzido por IA. A origem do texto não dispensa a necessidade de tornar a demonstração inteligível. Um avanço torna-se utilizável quando as suas condições, os seus limites e as ideias que o tornam possível podem ser explicados para além do seu primeiro dossier de publicação.
Isto não significa que todos os trabalhos anteriores baseados na ETH deixem de ter interesse. Uma implicação condicional pode continuar correta mesmo que a hipótese de partida seja posta em causa. No entanto, a sua utilização como argumento de dificuldade deve ser reavaliada à luz do resultado efetivamente estabelecido.
Nem P contra NP, nem ferramenta de pirataria
O manuscrito esclarece que o seu resultado não implica um algoritmo subexponencial para todos os problemas da classe NP. A forma de traduzir um problema noutro pode aumentar o seu tamanho: por isso, um limite favorável numa formulação não se transfere automaticamente para todas as outras.
Também não demonstra que qualquer problema cuja solução possa ser verificada eficientemente possa ser resolvido eficientemente, a questão conhecida como P contra NP. «Subexponencial» não quer dizer «polinomial», muito menos «instantâneo».
O anúncio merece, assim, ser acompanhado pela sua proposta científica precisa. Para avaliar o seu contributo, os próximos elementos úteis serão explicações do algoritmo que possam ser reconstruídas, um esclarecimento das suas consequências e, separadamente, eventuais métodos utilizáveis na prática. Aqui, a sigla ETH é o início de uma questão de complexidade, não um veredicto sobre a Ethereum.
Fotografia ilustrativa: discussão em frente a um quadro de matemática. As pessoas fotografadas não são apresentadas como autores ou examinadores do resultado.
Crédito: Yan Krukau — Pexels, licença Pexels.
