Em 26 de outubro de 2026, a OpenAI anunciou três resultados que atribui a seus modelos: um em análise harmônica, outro em ciência da computação teórica e um terceiro em física matemática. A empresa descreveu um caminho diferente de publicação e análise para cada trabalho. No caso da hipótese do tempo exponencial (ETH), a verificação em Lean que a OpenAI relata é distinta da avaliação do grupo externo. Leia o anúncio da OpenAI.
A cobertura anterior da NeoTeo sobre o plano da OpenAI de publicar resultados matemáticos tratou da intenção de divulgar esse tipo de trabalho. O anúncio de outubro detalhou três alegações específicas e como a empresa pretendia disponibilizar seus materiais.
Três áreas, três caminhos de publicação
| Área | Resultado que a OpenAI atribui a seus modelos | Publicação e análise descritas pela OpenAI |
| Análise harmônica | Uma prova da conjectura da suavização local de Sogge, para todas as dimensões espaciais a partir de duas, com consequências relacionadas a Kakeya e à restrição de Stein. | O texto e a formalização em Lean foram publicados para que pesquisadores examinassem o trabalho. |
| Ciência da computação teórica | Um algoritmo determinístico de tempo subexponencial para contar atribuições satisfatórias de fórmulas CNF de largura fixa, que, segundo a OpenAI, refuta a ETH no caso do 3-SAT. | O texto e a formalização em Lean foram publicados; Russell Impagliazzo, Ramamohan Paturi e Ryan Williams lideram um exame externo. |
| Física matemática | Resultados de existência para certas teorias quânticas de campos interagentes em quatro dimensões, incluindo QCD, uma conclusão unificada do Modelo Padrão e a teoria pura de Yang–Mills. | O grupo liderado por David Gross decidiu reter os artefatos gerados por IA enquanto prepara um texto próprio. |
A OpenAI situa a conjectura da suavização local na trajetória de um problema proposto por Christopher Sogge em 1991. A empresa também relata que Guth, Wang e Zhang provaram o caso de duas dimensões espaciais em 2019. A alegação anunciada em outubro estende o resultado, segundo a OpenAI, a dimensões espaciais a partir de duas.
O que a verificação em Lean diz sobre a ETH
Lean é o sistema usado para formalizar e verificar a prova matemática. A OpenAI afirma que o resultado sobre a ETH foi verificado dessa forma e, separadamente, descreve o exame conduzido por Impagliazzo, Paturi e Williams. Uma checagem formal em Lean e a conclusão de um grupo de especialistas são etapas distintas.
Em uma declaração conjunta relatada pela Papex, os examinadores disseram que a participação deles não deveria ser considerada uma certificação da alegação. Um relato publicado pela Papex em 31 de outubro, com a situação verificada até 30 de outubro, informou que o grupo ainda não havia divulgado um parecer público. Esse registro descreve o estado da análise até aquela data.
A alegação sobre ETH não resolve P versus NP
A OpenAI afirma que o resultado envolve um algoritmo de tempo subexponencial para um problema de contagem ligado a fórmulas CNF e que ele refuta a ETH no caso do 3-SAT. Tempo subexponencial não significa necessariamente tempo polinomial; portanto, a alegação não prova que P = NP.
A própria OpenAI diz que transformar um avanço teórico em melhorias práticas exige pesquisa significativa. O anúncio, assim, não equivale a uma promessa de aceleração imediata em programas ou serviços usados no dia a dia.
O que a OpenAI afirma sobre Yang–Mills
A alegação de física inclui a existência de certas teorias quânticas de campos em quatro dimensões, entre elas QCD e uma conclusão unificada do Modelo Padrão. A OpenAI também reivindica um resultado de existência para a teoria pura de Yang–Mills, que faz parte do problema do milênio do Clay Mathematics Institute.
A empresa não afirma ter provado a condição separada da lacuna de massa, também necessária para resolver o problema completo de Yang–Mills. O grupo de física liderado por David Gross optou por manter os artefatos gerados por IA retidos enquanto prepara seu próprio texto.
