OpenAI afirma três descobertas de IA em matemática, ciência da computação e física

OpenAI disse em 26 de outubro de 2026 que seus modelos produziram três novos resultados: uma prova da conjectura de suavização local em análise harmônica, uma refutação da Hipótese do Tempo Exponencial em ciência da computação e uma prova de existência para cromodinâmica quântica em física [1]. Nenhuma das afirmações foi revisada por pares; grupos de especialistas externos agora as examinarão [1][3].

O que a OpenAI afirma que seus modelos descobriram?

Em matemática, a OpenAI diz que seus modelos provaram a conjectura de suavização local de Sogge de 1991 em todas as dimensões, o que também resolveria a conjectura de Kakeya e a conjectura de restrição de Stein em todas as dimensões [1]. Trabalhos humanos anteriores haviam provado a suavização local em duas dimensões espaciais em 2019 e a conjectura de Kakeya em três dimensões em 2025 [1].

Em física, a OpenAI descreve uma prova de existência matematicamente rigorosa de certas teorias quânticas de campos em quatro dimensões, incluindo cromodinâmica quântica e uma conclusão unificada do Modelo Padrão [1]. Como subproblema, afirma que o trabalho prova a existência da teoria de Yang-Mills pura, que faz parte de um problema do Millennium Prize do Clay Mathematics Institute [1]. Este material não foi liberado [1][3].

Por que a afirmação sobre a Hipótese do Tempo Exponencial é tão significativa?

A Hipótese do Tempo Exponencial, ou ETH, sustenta que decidir 3-SAT em n variáveis precisa de tempo exponencial no pior caso [2]. A OpenAI diz que a ETH tem sido amplamente acreditada como verdadeira e foi usada em centenas de artigos para derivar resultados de dureza condicional [1]. OpenAI afirma que seus modelos provaram que a Hipótese do Tempo Exponencial é falsa, uma conjectura usada em centenas de artigos.

O preprint de 67 páginas, creditado à OpenAI como autor, descreve um algoritmo determinístico que conta as atribuições satisfatórias de fórmulas k-CNF em tempo subexponencial e espaço polinomial [2]. A OpenAI diz que transformar o resultado em algoritmos práticos mais rápidos exigirá pesquisa adicional significativa [1].

Alguém verificou as provas?

OpenAI liberou suas provas de matemática e ciência da computação como preprints no GitHub; nenhuma ainda foi revisada por pares. OpenAI afirma que ambas vêm com formalizações em Lean, provas verificadas por máquina, também publicadas em seu repositório [1][2]. Sua própria linha do tempo diz que a refutação da ETH foi encontrada em 16 de outubro e formalizada em 17 de outubro de 2026 [1].

Um grupo liderado por Russell Impagliazzo e Ramamohan Paturi da UC San Diego e Ryan Williams do MIT verificará e guiará o resultado da ETH [1]. Impagliazzo e Paturi, com Francis Zane, propuseram originalmente a hipótese [1]. Para física, o laureado do Nobel David Gross liderará um grupo incluindo Michael Douglas, Arthur Jaffe, Igor Klebanov e Nikita Nekrasov [1].

Como a OpenAI está mudando a forma como libera resultados?

A OpenAI diz que pediu a especialistas externos para atuarem como guias, e eles recomendaram três estratégias de liberação diferentes: liberação aberta para matemática, um grupo externo mais arquivos públicos para ciência da computação, e deferir ao grupo para física [1]. OpenAI afirma que não busca crédito acadêmico e que grupos de especialistas externos examinarão os resultados.

A participação é voluntária e não remunerada, e a OpenAI afirma que concordou em financiar uma conferência sobre as implicações do resultado da ETH [1]. The Verge observa que o próprio painel de conselheiros de matemática da OpenAI havia acabado de recomendar contra dar a pessoas selecionadas primeiro acesso à saída de IA [3]. A OpenAI admite que escolher guias cria uma assimetria de informação [1].

A liberação vem menos de um mês após a OpenAI publicar centenas de manuscritos escritos por IA em 6 de outubro, segundo The Verge [3]. A OpenAI diz que as novas colaborações complementam sua contribuição recentemente anunciada de 5 milhões de dólares para a Simons Foundation, que financia workshops e programas para pesquisadores estudando resultados de IA [1].

Nossa leitura

Opinião: Se a refutação da ETH se sustentar, é a maior alegação até agora da matemática impulsionada por IA, e colocar os propositores originais da hipótese no comando da verificação é a decisão certa. Mas uma prova em Lean apenas certifica o que foi formalizado, e alegações extraordinárias liberadas pela empresa que lucra com elas merecem o escrutínio lento e adversarial para o qual a revisão por pares existe.

O que não pudemos verificar

• Se alguma das três provas alegadas está correta; todas são preprints escritos por IA ou material não liberado, e nenhuma publicação revisada por pares ou verificação independente estava disponível na publicação.
• Se as formalizações em Lean capturam as conjecturas originais completas; a OpenAI diz que as provas da ETH e da suavização local foram verificadas em Lean, mas não pudemos verificar as declarações formais nós mesmos.
• A prova de física para a teoria de Yang-Mills e cromodinâmica quântica, que não foi liberada; contamos apenas com a descrição da OpenAI.
• Qual modelo ou sistema interno produziu as provas; a OpenAI não o nomeia.
• Qualquer reação registrada dos guias nomeados, como Russell Impagliazzo, Ryan Williams ou David Gross; não encontramos nenhuma declaração pública deles além do que a OpenAI relata.