A OpenAI anunciou nesta terça-feira, 8 de setembro de 2026, que um de seus sistemas internos de inteligência artificial produziu uma solução para o problema de existência e suavidade de Navier-Stokes, um dos sete famosos Problemas do Milênio da matemática.
O resultado pode representar um dos maiores avanços já obtidos com auxílio de inteligência artificial na pesquisa científica. Entretanto, a solução ainda precisa ser analisada e validada de forma independente pela comunidade matemática antes de ser considerada definitivamente aceita.
O que é o problema de Navier-Stokes?
As equações de Navier-Stokes são utilizadas para descrever o movimento de fluidos, incluindo líquidos e gases.
Elas aparecem em aplicações que vão desde a previsão do tempo e o estudo das correntes oceânicas até o desenvolvimento de aeronaves, automóveis, turbinas e sistemas industriais.
O grande problema matemático não era simplesmente utilizar essas equações, algo que cientistas e engenheiros já fazem há décadas.
A questão era descobrir se, em três dimensões, soluções inicialmente suaves das equações permanecem sempre bem comportadas ou se podem desenvolver pontos de comportamento extremo, conhecidos como singularidades, nos quais determinadas grandezas matemáticas deixam de permanecer finitas.
Essa questão permaneceu sem solução por décadas e foi incluída pelo Clay Mathematics Institute entre os sete Problemas do Milênio, apresentados em 2000.
O que a OpenAI afirma ter descoberto?
Segundo a OpenAI, seu sistema encontrou uma construção matemática demonstrando que as equações tridimensionais de Navier-Stokes podem desenvolver uma singularidade em tempo finito.
Em outras palavras, o resultado proposto indica que determinadas condições podem levar a uma espécie de “quebra” matemática da suavidade da solução.
A empresa publicou tanto uma descrição detalhada do trabalho quanto uma versão formalizada da demonstração utilizando Lean, uma linguagem e sistema de verificação formal capaz de checar provas matemáticas de maneira rigorosa.
Essa formalização é particularmente importante porque problemas dessa complexidade podem envolver centenas de páginas de raciocínio matemático, tornando extremamente difícil verificar manualmente cada etapa.
Cerca de 10 mil agentes de IA trabalharam no problema
Outro aspecto impressionante do anúncio está na forma como a solução teria sido encontrada.
A OpenAI afirma que utilizou aproximadamente 10 mil agentes de inteligência artificial trabalhando de forma coordenada durante cerca de 88 horas.
O modelo utilizado ainda não foi lançado publicamente e, segundo a empresa, é significativamente mais avançado que o GPT-6 Astra.
Em vez de uma única IA simplesmente receber o problema e produzir imediatamente uma resposta, milhares de agentes puderam explorar diferentes caminhos matemáticos, testar hipóteses, verificar resultados e desenvolver partes do argumento.
Esse tipo de abordagem mostra uma possível nova direção para sistemas avançados de inteligência artificial: grupos de agentes especializados colaborando para resolver problemas científicos extremamente complexos.
Por que isso é tão importante?
Caso a demonstração seja confirmada, o resultado terá importância histórica para a matemática.
Mas talvez exista uma consequência ainda maior.
Até recentemente, sistemas de inteligência artificial eram vistos principalmente como ferramentas capazes de resumir conhecimento existente, escrever textos, gerar imagens ou auxiliar programadores.
Agora, modelos cada vez mais avançados estão começando a participar da descoberta de conhecimento que ainda não fazia parte da literatura científica estabelecida.
O caso de Navier-Stokes pode se tornar um dos exemplos mais importantes dessa transformação.
Uma IA não estaria apenas reproduzindo matemática conhecida, mas ajudando a produzir uma solução para um problema que desafiou alguns dos melhores matemáticos do mundo por décadas.
A solução ainda não está oficialmente confirmada
Apesar da magnitude do anúncio, é importante diferenciar uma solução publicada de uma solução matematicamente aceita.
A demonstração agora deverá ser estudada por especialistas independentes, que procurarão falhas, hipóteses incorretas ou lacunas no argumento.
O próprio anúncio da OpenAI utiliza a expressão “proposes a solution”, ou seja, apresenta uma solução proposta para o problema.
A empresa também afirmou que não pretende reivindicar o prêmio de US$ 1 milhão associado ao Problema do Milênio neste momento.
Descoberta também gera disputa científica
O anúncio trouxe ainda uma controvérsia envolvendo pesquisadores que trabalhavam paralelamente em problemas relacionados.
O matemático Tristan Buckmaster, da Universidade de Nova York, e Levent Alpöge, pesquisador da Anthropic, desenvolviam trabalhos em uma direção semelhante.
Eles levantaram questionamentos sobre o processo que levou ao anúncio da OpenAI e sobre a atribuição de crédito científico.
A OpenAI nega ter utilizado dados privados ou resultados não publicados dos pesquisadores e afirma que as abordagens matemáticas são diferentes.
A discussão pode se tornar tão relevante quanto a própria descoberta, principalmente à medida que sistemas de IA passam a participar diretamente de pesquisas científicas inéditas.
Questões como autoria, propriedade intelectual, treinamento de modelos e atribuição de crédito provavelmente se tornarão cada vez mais importantes.
Um possível marco para a inteligência artificial científica
Independentemente de como o processo de validação terminar, o episódio representa uma demonstração impressionante do avanço recente dos sistemas de raciocínio.
Se a prova permanecer válida após a revisão da comunidade matemática, estaremos diante de um marco histórico: um dos problemas matemáticos mais importantes do mundo teria sido solucionado com participação decisiva de um sistema de inteligência artificial.
A partir daí, a pergunta deixa de ser apenas se a IA consegue responder perguntas humanas.
A questão passa a ser quantos problemas ainda não resolvidos pela humanidade poderão ser atacados por sistemas semelhantes nos próximos anos.
