
Você provavelmente viu a pesquisa "OpenAI provou que o ETH é falso". Expire. Por mais engraçado que pareça, não se trata do ETH, nem tem nada a ver com Ethereum. Aqui, ETH refere-se à Hipótese do Tempo Exponencial, uma suposição de 2001 sobre a dificuldade dos problemas mais difíceis da ciência da computação. Em termos simples: existe um problema clássico difícil chamado SAT: uma fórmula lógica longa, encontre valores que a tornem verdadeira. Todos assumiam que a única maneira era tentar todas as 2^n combinações, mais ou menos. Centenas de resultados do tipo "essa tarefa é tão difícil quanto SAT" se baseiam nessa suposição. Um modelo da OpenAI escreveu um artigo de 67 páginas com um algoritmo que resolve isso significativamente mais rápido que 2^n. Se for confirmado, a suposição está morta e muita teoria precisará ser reescrita. A formalização está sendo liberada, e três teóricos de complexidade líderes estão verificando agora.
