OpenAI anuncia três "descobertas" científicas e muda forma de validá-las
A empresa diz que seus modelos produziram resultados inéditos em matemática, ciência da computação e física, e passa a usar acadêmicos externos para checar o que a IA realmente provou. Nenhum resultado passou por revisão por pares completa.
Por Elias Brandão · Analista de IA e ética
Três provas, um mesmo dilema
Imagine que um aluno aparece com a resolução de três provas difíceis de uma vez — uma de matemática, uma de ciência da computação e uma de física — e diz "confiem em mim, eu cheguei lá sozinho". É mais ou menos a cena que a OpenAI, criadora do ChatGPT, encenou no fim de outubro de 2026. A empresa afirma que seus modelos internos produziram três resultados inéditos: a prova da conjectura de suavização local (que resolve, entre outras coisas, o problema de Kakeya, um quebra-cabeça clássico sobre geometria e ondas), uma possível refutação da Hipótese do Tempo Exponencial (ETH, pilar da teoria da complexidade computacional que trata de quão rápido certos problemas podem ser resolvidos) e uma prova de existência para teorias quânticas de campo que incluem a cromodinâmica quântica (QCD) e a teoria de Yang-Mills, ligada a um dos famosos Problemas do Milênio da matemática.
Menos de um mês depois da enxurrada
O anúncio chega logo depois de a OpenAI ter despejado, no início de outubro, centenas de manuscritos matemáticos no GitHub — plataforma onde desenvolvedores guardam e compartilham código — cobrindo dezenas de problemas antigos ainda sem solução. Foi como jogar uma pilha de redações na mesa do professor de uma vez só: muita gente ficou impressionada, mas também desconfiada, porque ninguém teve tempo de corrigir tudo com cuidado.
O novo jeito de "arrumar os padrinhos"
Para evitar o mesmo tumulto, a empresa criou um sistema de "shepherds" (pastores, em português) — especialistas externos convidados a montar grupos que analisam cada resultado antes de ele virar conhecimento aceito. Na ciência da computação, formou um grupo com pesquisadores de teoria da complexidade, como Russell Impagliazzo, Ramamohan Paturi e Ryan Williams, que aceitaram revisar o trabalho sem receber pagamento e sem assinar acordos de confidencialidade. Para a física, outro grupo externo ficou com a decisão de divulgar ou não os materiais da IA.
O avanço real e o "mas espera aí"
É como separar o veredito do juiz da opinião do réu: a prova matemática e a de ciência da computação já foram formalizadas no sistema Lean (ferramenta que verifica provas passo a passo, como um corretor automático incansável) e publicadas; a física ainda está em avaliação por especialistas, incluindo ganhadores do Nobel. Mas nenhum dos três resultados passou por revisão por pares completa — o processo tradicional em que outros cientistas analisam e criticam o trabalho antes da publicação. E a desconfiança não é gratuita: cientistas já acusaram a OpenAI, nos manuscritos anteriores, de reaproveitar ideias da literatura matemática recente sem dar o crédito devido. Resultado: é real que a IA ajudou a gerar algo valioso, mas o selo de "descoberta confirmada" ainda depende de gente de carne e osso dizer sim.