Notícia
27 de out de 2026
A alegação da OpenAI sobre a ETH empolga a ciência da computação — e põe a descoberta por IA à prova
A OpenAI está apresentando seus mais recentes resultados gerados por IA como pesquisa bruta a ser interpretada abertamente por acadêmicos, enquanto cientistas da computação acolhem o possível avanço, mas argumentam que uma alegação com consequências tão grandes não pode ser aceita sem escrutínio coletivo.
Em 16 de outubro de 2026, a OpenAI afirma que um de seus sistemas produziu uma refutação, em linguagem natural, da Hipótese do Tempo Exponencial, ou ETH, uma premissa de longa data sobre a dificuldade de resolver certos problemas computacionais. A empresa afirma que formalizou o resultado em Lean no dia seguinte e então passou a organizar uma revisão externa, em vez de declarar uma vitória científica definitiva.1
A ETH moldou centenas de resultados condicionais de dificuldade em toda a ciência da computação. Se a alegação se sustentar, ela poderá obrigar pesquisadores a revisitar premissas em áreas que vão da teoria dos grafos à biologia computacional — e poderá reabrir questões mais amplas sobre P versus NP. A OpenAI afirma que a descoberta pode orientar a busca por algoritmos mais rápidos, ao mesmo tempo que ressalta que as consequências práticas continuam incertas e exigem “pesquisa adicional significativa”.1
A divulgação expôs imediatamente a tensão na ciência assistida por IA: resultados impressionantes, mas nenhum atalho para a verificação. A OpenAI divulgou publicamente os materiais da prova e concordou em financiar uma conferência depois que um grupo liderado por Ryan Williams, do MIT, e Russell Impagliazzo e Ramamohan Paturi, da UC San Diego, pediu uma análise aberta. A empresa chama os manuscritos de “dados brutos de pesquisa”, não de entendimento científico concluído.1
Williams, que está ajudando a organizar a resposta, disse que partes da prova pareciam rotineiras — mas “duas ou três partes com aparência alienígena” o convenceram de que “toda a comunidade precisa trabalhar [nisso] junta”.2 Ele também alertou que uma refutação crível poderia desestabilizar trabalhos construídos sobre a ETH e suscitar questões sobre se alguns sistemas criptográficos são afetados, embora a OpenAI lhe tenha dito que não havia encontrado nenhuma falha de segurança imediata.
O episódio ocorre enquanto laboratórios de ponta enfrentam pressão sobre mais do que sua ciência. O esperado IPO da Anthropic está sendo acompanhado como um referendo sobre a durabilidade do boom da IA, após uma liquidação mais ampla e preocupações com gastos enormes em infraestrutura.3 Para a OpenAI, o anúncio sobre a ETH oferece um contraponto marcante: a promessa de que a IA pode gerar conhecimento fundamental. Para a academia, é um teste de se essa promessa pode se tornar compreensível, reproduzível e confiável.