Em 26 de outubro de 2026, a OpenAI anunciou três resultados que atribui a modelos desenvolvidos pela empresa: um em análise harmônica, outro sobre a Hipótese do Tempo Exponencial (ETH) e um terceiro em física matemática. O comunicado da OpenAI descreveu caminhos diferentes para examinar os trabalhos e não relatou aceitação acadêmica independente dos três resultados.
Três áreas, caminhos de divulgação distintos
| Área | Alegação descrita pela OpenAI | Divulgação e análise descritas no anúncio |
| Matemática | Prova da conjectura de suavização local em qualquer dimensão, com consequências para as conjecturas de Kakeya e de restrição de Stein | Versões em linguagem natural e formalizações em Lean foram divulgadas para exame |
| Teoria da computação | Refutação da Hipótese do Tempo Exponencial | Trabalho em linguagem natural e formalização em Lean divulgados; OpenAI descreveu um grupo externo para estudar o resultado |
| Física matemática | Provas de existência para certas teorias quânticas de campos em quatro dimensões, incluindo QCD e Yang–Mills | O grupo de física decidiu adiar a divulgação dos materiais gerados por IA e preparar uma exposição própria |
A diferença entre as rotas importa: os trabalhos de matemática e computação foram disponibilizados para exame, enquanto o grupo de física optou por não publicar naquele momento os materiais produzidos pela IA.
O que a OpenAI atribui ao resultado de suavização local
A OpenAI diz que seu modelo produziu uma prova da conjectura de suavização local em qualquer dimensão. Segundo a empresa, desse resultado também decorrem as conjecturas de Kakeya e de restrição de Stein em todas as dimensões. A OpenAI datou a produção da prova em linguagem natural em 18 de outubro de 2026 e sua formalização em Lean em 19 de outubro.
Lean é um assistente de provas que representa argumentos matemáticos em formato formal para checagem automática. Formalizar um argumento nesse sistema é diferente de obter aceitação acadêmica independente para o resultado.
A NeoTeo já abordou outra alegação matemática da OpenAI em sua cobertura sobre Navier–Stokes e o exame da prova. O anúncio atual trata de resultados diferentes, em outras áreas da matemática, da computação e da física.
O que a alegação sobre ETH significa
A OpenAI afirmou que seu sistema refutou a Hipótese do Tempo Exponencial, uma conjectura da teoria da complexidade computacional. A empresa datou a produção do resultado em linguagem natural em 16 de outubro de 2026 e sua formalização em Lean em 17 de outubro.
Isso não equivale a uma prova de P = NP. A OpenAI descreveu uma refutação da ETH e disse que ainda seriam necessárias pesquisas para encontrar algoritmos e transformar o avanço teórico em melhorias práticas. A empresa também informou que um grupo externo co-liderado por Russell Impagliazzo, Ramamohan Paturi e Ryan Williams examinaria o trabalho.
O alcance das alegações sobre QCD e Yang–Mills
Na física, a OpenAI descreveu provas de existência para certas teorias quânticas de campos interagentes em quatro dimensões, com campos de calibre e férmions. Entre elas estão a cromodinâmica quântica (QCD), teoria das interações fortes, e uma teoria unificada que completa o Modelo Padrão. A empresa também disse que o trabalho inclui uma prova de existência para a teoria pura de Yang–Mills.
Segundo a OpenAI, o modelo produziu a prova de existência de Yang–Mills em linguagem natural em 9 de setembro de 2026 e a de QCD em 18 de setembro. A formalização em Lean da prova de existência de Yang–Mills foi concluída em 16 de outubro. O grupo externo de física, liderado por David Gross, decidiu adiar a publicação dos materiais gerados pela IA e preparar uma exposição própria. A OpenAI descreveu um resultado de existência, não uma prova da lacuna de massa do problema do milênio de Yang–Mills.
A IA acelera a matemática — e força os matemáticos a repensar seu papel
