A OpenAI anunciou nesta segunda-feira (26) três resultados científicos que, segundo a empresa, foram obtidos com ajuda dos seus sistemas de inteligência artificial. São trabalhos em Ciência da Computação, Matemática e Física. O mais chamativo é a suposta refutação da Hipótese do Tempo Exponencial, conhecida pela sigla ETH, que pesquisadores da área usam como premissa há quase três décadas.
Nenhum dos três resultados está confirmado. A própria OpenAI diz que pesquisadores independentes e voluntários vão examinar cada caso e decidir se as provas se sustentam. Até lá, as alegações são da empresa.
O que a OpenAI diz ter encontrado
A ETH trata do tempo necessário para resolver certos problemas de lógica. A hipótese afirma que esse tempo cresce de forma exponencial conforme o problema aumenta e que não existe atalho capaz de evitar esse crescimento. Ela nunca foi provada, mas virou base para uma longa série de resultados em complexidade computacional. Vários limites sobre a dificuldade de algoritmos partem do pressuposto de que ela é verdadeira. Se a refutação estiver correta, parte desses resultados perde o alicerce. Na equipe de validação estão dois dos cientistas que propuseram a hipótese originalmente.
O segundo resultado é matemático. A OpenAI diz ter uma prova que resolve ao mesmo tempo a conjectura de Kakeya em todas as dimensões e a conjectura de suavização local de Sogge. A de Kakeya pergunta quanto espaço um conjunto precisa ocupar para conter um segmento de reta apontando em cada direção possível. Em 2025, os matemáticos Hong Wang e Joshua Zahl publicaram uma prova para o caso de três dimensões. A versão geral continuava aberta.
O terceiro vem da Física: uma demonstração matemática de que teorias quânticas de campos em quatro dimensões existem de forma rigorosa, incluindo a cromodinâmica quântica, que descreve a força que mantém prótons e nêutrons unidos. Físicos usam essas teorias há décadas com resultados experimentais precisos, mas a construção matemática formal delas nunca foi concluída. O tema está ligado a um dos Problemas do Milênio do Instituto Clay.
Por que a cautela
O histórico recente pede calma. Anúncios anteriores da OpenAI sobre problemas matemáticos resolvidos por IA foram contestados por pesquisadores, que questionaram tanto a novidade quanto o peso das contribuições. Desta vez, a empresa se antecipou: diz que não busca crédito acadêmico pelas descobertas e que vai doar US$ 5 milhões para um fundo de pesquisa em IA.
A escolha dos problemas também chama atenção. Um anúncio sobre um teorema menor passaria despercebido. Refutar uma hipótese central da computação e avançar em um Problema do Milênio são afirmações grandes, e afirmações grandes exigem verificação proporcional. Provas desse porte costumam levar meses para serem checadas por especialistas humanos, linha por linha.
Para quem não é pesquisador, o efeito prático é indireto. Uma refutação da ETH não quebra criptografia nem torna computadores mais rápidos da noite para o dia. O impacto real depende de como é o algoritmo por trás dela e se ele roda bem fora do papel. O que muda, se as provas passarem na revisão, é o papel desses modelos: deixam de ser assistentes de redação e cálculo e passam a ser coautores de resultados que a comunidade científica tentou obter por anos.
A OpenAI não divulgou prazo para a conclusão da revisão independente dos três trabalhos.
