A OpenAI anunciou em 26 de outubro de 2026 três novos resultados científicos, um em matemática, um em ciência da computação e um em física, e passou a submeter parte deles a revisores externos, segundo a Canaltech. O anúncio vem menos de um mês depois de a empresa publicar centenas de manuscritos produzidos com inteligência artificial e de enfrentar problemas com pesquisas divulgadas antes.
O histórico explica o cuidado. Em 7 de outubro, três manuscritos sobre classes de Weil e a conjectura de Hodge foram retirados depois que pesquisadores encontraram um erro de sinal que invalidava os argumentos centrais. A OpenAI também corrigiu outros 14 manuscritos. Desta vez, para os trabalhos de computação e física, a empresa montou uma revisão com especialistas de fora, chamados de "shepherds" na reportagem.
O que a OpenAI afirma ter provado
Na matemática, a empresa publicou no GitHub uma prova da conjectura de suavização local de Sogge, formalizada na linguagem Lean, que permite checar cada passo por computador. A prova vale para espaços com duas ou mais dimensões e se relaciona a problemas em aberto, como a conjectura de Kakeya e as estimativas de restrição de Stein.
Na computação, a IA produziu uma demonstração que, se estiver correta, refutaria a Hipótese do Tempo Exponencial (ETH). O algoritmo conta todas as combinações que satisfazem as regras de uma fórmula lógica, e a OpenAI diz que ele roda mais rápido do que o esperado para esse tipo de problema, com uso controlado de memória. A pesquisa inclui o problema 3-SAT.
Na física, a empresa afirma ter provado matematicamente que certas teorias quânticas de campos com interação, em quatro dimensões, existem. O trabalho inclui a Cromodinâmica Quântica (QCD) e uma conclusão que, segundo a Canaltech, unifica o Modelo Padrão da física de partículas. Os dados completos ainda não foram divulgados.
Quem confere o trabalho
A ETH foi proposta em 1999 por Russell Impagliazzo e Ramamohan Paturi, ambos da Universidade da Califórnia em San Diego. Os dois e Ryan Williams, professor do MIT, lideram o grupo independente que organiza a verificação. Em carta aberta à comunidade de computação teórica, os três disseram que a participação deles não confirma oficialmente que a prova está correta e que um achado desse tamanho precisa passar por uma análise independente.
A pedido do grupo, a OpenAI tornou os materiais públicos. Foram criados um repositório de notas e correções (ETH_Repository), um blog de discussão (Ethdiscussion.blog) e um formulário para voluntários, com reunião virtual prevista até o fim de 2026. Na física, o grupo é liderado por David Gross e inclui Michael Douglas, Arthur Jaffe, Igor Klebanov e Nikita Nekrasov.
A crítica ao acesso antecipado
O painel consultivo AGMAI, de matemática, recomendou que empresas de IA não escolham pesquisadores específicos para receber descobertas antes dos demais. Segundo a Canaltech, o painel avisou que isso pode dar acesso privilegiado a alguns acadêmicos, amarrar a reputação deles a provas ainda não verificadas e favorecer certas análises. A recomendação é publicar em repositórios acadêmicos abertos, com provas formalizadas em Lean, e explicar como os problemas e o financiamento da verificação são escolhidos.
A OpenAI reservou US$ 5 milhões para apoiar matemáticos que analisem os resultados. O grupo da ETH também quer discutir regras éticas para pesquisa assistida por IA, como acesso antecipado, declaração de conflitos de interesse e crédito. Para os três pesquisadores, o crédito deve cobrir tanto a descoberta inicial da máquina quanto o trabalho humano de verificar, corrigir, simplificar e explicar os resultados.
O que ainda depende de verificação
Nenhum dos três resultados está confirmado. A prova da ETH só vale se resistir à análise do grupo de Impagliazzo, Paturi e Williams, e a de física ainda não teve os dados completos publicados. Até a reunião prevista para o fim do ano, o que existe são alegações de uma empresa com um erro recente no currículo e uma comunidade acadêmica que já avisou que seu envolvimento não equivale a aval.
