OpenAI e Claude refutam hipótese matemática de 27 anos em computação

Dois dos principais laboratórios de inteligência artificial do mundo, a OpenAI e a Anthropic, anunciaram que seus modelos internos conseguiram refutar de maneira independente a chamada Hipótese do Tempo Exponencial (ETH). Formulada em 1999 pelos pesquisadores Russell Impagliazzo e Ramamohan Paturi, a hipótese sustentava que determinados problemas computacionais complexos, como o 3-SAT, jamais poderiam ser resolvidos sem um custo exponencial fixo.

A descoberta surpreendeu a comunidade científica pelo fato de os dois sistemas terem chegado a conclusões semelhantes praticamente ao mesmo tempo. Segundo análise publicada pelo canal Adem B10, o modelo Claude, da Anthropic, gerou uma prova lógica completa com 14 milhões de tokens e sem intervenção humana, enquanto a OpenAI também submeteu sua verificação ao assistente de prova formal Lean.

Na prática, a demonstração científica abala a base teórica de mais de 800 artigos acadêmicos que utilizavam a hipótese como premissa matemática. No entanto, o resultado não traz impacto direto na velocidade dos computadores cotidianos nem resolve o clássico problema 'P versus NP', funcionando como um marco conceitual em raciocínio formal automatizado.

Por se tratar de experimentos de pesquisa teórica, os modelos utilizados não são produtos comerciais e não estão disponíveis para usuários finais, gratuitos ou assinantes, nem possuem previsão de lançamento no Brasil. Uma equipe aberta de matemáticos e cientistas da computação, incluindo os próprios autores da conjectura original, agora realiza a checagem manual passo a passo dos cálculos apresentados pelas máquinas.

Com informações do vídeo publicado por Adem B10 no YouTube: assista ao vídeo original. A reportagem em vídeo do katavNews usa trechos curtos do original, com crédito, para citar o que foi dito.