A OpenAI afirma que sua inteligência artificial refutou a Hipótese do Tempo Exponencial, uma conjectura da ciência da computação de 1999 conhecida pela sigla ETH. Isso não tem nenhuma relação com o Ethereum. Por um breve momento, traders de criptomoedas confundiram os dois termos nas redes sociais. O episódio mostra como afirmações matemáticas envolvendo IA podem repercutir rapidamente em mercados que não têm nada a ver com o assunto.
O que realmente aconteceu
A OpenAI publicou, em 17 de outubro de 2025, um artigo de 67 páginas, revisado em 25 de outubro, afirmando que sua IA encontrou um algoritmo determinístico capaz de resolver quebra-cabeças 3-SAT em tempo subexponencial, o que refutaria o ETH. A empresa diz que seu modelo encontrou a refutação em 16 de outubro e a formalizou em Lean, uma ferramenta de verificação, no dia seguinte. Ambos os materiais estão disponíveis no GitHub, junto com 722 manuscritos matemáticos que a OpenAI havia divulgado antes em outubro, dos quais apenas 162 incluíam um resultado verificado por computador. Os cientistas da computação Russell Impagliazzo, Ramamohan Paturi e Ryan Williams, do MIT, que lideram a revisão independente, escreveram em uma carta aberta que um resultado dessa magnitude exige escrutínio cuidadoso e independente, segundo a Decrypt. A Anthropic publicou, em 26 de outubro, um artigo separado atribuindo ao seu modelo Claude um algoritmo 3-SAT semelhante.
Como chegamos aqui
O ETH foi proposto em 1999 por Impagliazzo, Paturi e Francis Zane. A conjectura afirma que o problema 3-SAT não pode ser resolvido muito mais rápido do que por força bruta, e centenas de artigos em teoria dos grafos, biologia computacional e bancos de dados partem dessa premissa, segundo a OpenAI. A alegação não resolve o problema P versus NP, a questão de saber se todo problema fácil de verificar também é fácil de resolver. Em setembro de 2025, o Claude, da Anthropic, já havia formalizado o Último Teorema de Fermat em Lean. O matemático Terence Tao já havia alertado que ferramentas de IA poderiam "esgotar" problemas em aberto antes que os pesquisadores terminassem de analisá-los, antecipando essa sobreposição entre os dois laboratórios de IA.
Por que isso importa para você
Para quem possui Ethereum, nada muda. Esse ETH não tem relação com a blockchain, seu token ou seu roteiro de desenvolvimento. Para pesquisadores e desenvolvedores de IA, o episódio testa a velocidade com que alegações não verificadas se espalham e o quanto ferramentas formais como o Lean podem acelerar a verificação independente. A OpenAI afirma não ter assinado nenhum acordo de confidencialidade, ter publicado os dados brutos e ter investido US$ 5.000.000 na Simons Foundation para financiar workshops de revisão. Esse modelo pode se tornar uma referência para como laboratórios de IA divulgam provas contestadas. Para as comunidades cripto, a confusão serve de lembrete: vale a pena verificar as informações antes de reagir a manchetes que compartilham siglas familiares.
A grande questão
Se modelos de IA conseguem refutar conjecturas com décadas de existência antes mesmo da conclusão da revisão por pares, como a comunidade científica deveria redefinir o que conta como prova? Os pesquisadores que propuseram o ETH ainda não validaram a alegação da OpenAI, deixando em aberto se a formalização por máquinas em ferramentas como o Lean pode algum dia substituir o processo mais lento e humano de escrutínio no qual a matemática se apoia há séculos.
O que observar
A revisão independente conduzida por Impagliazzo, Paturi e Williams continua, sem prazo definido. A doação de US$ 5.000.000 da OpenAI à Simons Foundation vai financiar workshops e uma conferência dedicada ao resultado. O artigo do Claude, da Anthropic, datado de 26 de outubro de 2025, ainda aguarda sua própria revisão. Traders de criptomoedas devem ficar atentos a novas alegações matemáticas envolvendo IA que possam gerar confusões semelhantes com tickers de tokens.
