As equações de Navier-Stokes descrevem o movimento de fluidos e sustentam aplicações em áreas como meteorologia, engenharia aeronáutica e estudos sobre circulação sanguínea.
A inteligência artificial passou a ocupar um espaço ainda mais ambicioso na pesquisa matemática após a OpenAI anunciar uma demonstração para uma questão que desafia especialistas há quase 90 anos. O resultado envolve as equações de Navier-Stokes e foi obtido durante uma operação computacional de grande escala, com milhares de agentes dedicados simultaneamente à busca por soluções.
OpenAI apresenta demonstração para problema histórico
A OpenAI afirma ter encontrado uma solução para uma questão matemática que atravessou quase nove décadas sem resposta definitiva sobre o comportamento das equações tridimensionais de Navier-Stokes.
O resultado sustenta que um fluido com condições iniciais regulares pode alcançar uma singularidade após um período finito, hipótese que contraria a possibilidade de preservação permanente da suavidade da solução.
A empresa publicou uma demonstração analítica acompanhada por uma versão formal escrita em Lean, linguagem utilizada para verificar argumentos matemáticos com auxílio de sistemas computacionais.
Segundo a OpenAI, o cenário matemático parte de um fluido inicialmente uniforme e parado, submetido posteriormente a uma força suave capaz de conduzir o sistema até uma perda de regularidade.
A energia total permanece finita durante essa evolução, enquanto um vórtice sofre alterações cada vez mais intensas em sua estrutura, com crescimento de velocidade e forte concentração espacial.
A companhia associa essa construção às alternativas C e D da formulação oficial do problema, que permitem resolver a questão por meio da existência de determinadas singularidades.
As equações de Navier-Stokes estão entre os principais instrumentos matemáticos para descrever movimentos de líquidos e gases, com aplicações importantes na meteorologia, engenharia aeronáutica e circulação sanguínea.
O problema integra a lista do Prêmio do Milênio desde 2000, embora o próprio Clay Mathematics Institute ainda mantenha a questão entre aquelas sem solução oficialmente reconhecida.
Milhares de agentes participaram da busca pela solução
O avanço surgiu de uma experiência computacional iniciada pela OpenAI em setembro, após a empresa direcionar um novo modelo interno para problemas matemáticos abertos de alta complexidade.
Esse sistema, descrito pela companhia como significativamente mais capaz que o GPT-6 Astra, comandou grupos independentes que receberam formulações distintas e buscaram caminhos matemáticos separados.
No caso específico de Navier-Stokes, aproximadamente 10 mil agentes atuaram ao mesmo tempo, com acesso a código, conteúdo armazenado da internet e canais restritos de comunicação entre equipes.
A arquitetura permitiu que diferentes estratégias avançassem paralelamente, enquanto o Codex reuniu descobertas consideradas promissoras e redistribuiu esses resultados para outros grupos envolvidos na investigação.
Antes da principal descoberta, equipes menores haviam obtido progresso em uma versão relacionada das equações de Euler, fato que levou a empresa a concentrar mais capacidade computacional sobre Navier-Stokes.
A solução considerada decisiva apareceu em 5 de setembro, cerca de 88 horas após o começo da experiência, segundo o cronograma divulgado pela própria OpenAI.
Depois dessa etapa, a simplificação do argumento e sua verificação formal consumiram outras 17 horas, período no qual o GPT-6 Astra participou do processo de formalização em Lean.
Escala computacional chama atenção no experimento
A quantidade de processamento envolvida oferece outra dimensão do projeto, pois todas as tentativas matemáticas somaram aproximadamente 4,9 milhões de mensagens e 300 bilhões de tokens produzidos.
Somente a investigação sobre Navier-Stokes respondeu por cerca de 2,7 milhões dessas interações e aproximadamente 130 bilhões de tokens gerados pelos sistemas participantes.
A estratégia mostra como arquiteturas multiagentes podem dividir problemas científicos extensos entre milhares de instâncias, testar hipóteses distintas e posteriormente combinar resultados considerados úteis para novas tentativas.
Apesar de apresentar o trabalho como uma resolução do problema, a OpenAI afirmou que não pretende reivindicar o prêmio oferecido pelo Clay Mathematics Institute pela questão matemática.
O anúncio ainda exige avaliação independente da comunidade especializada, etapa essencial para estabelecer a validade matemática e a eventual aceitação histórica de uma demonstração dessa magnitude.
Até 10 de setembro, o site do Clay Mathematics Institute continuava a apresentar Navier-Stokes como um problema aberto, portanto o anúncio da OpenAI ainda não equivale ao reconhecimento formal da instituição.