OpenAI e as Equações de Navier-Stokes: O Novo Avanço da IA na Matemática
2026-09-10
O modelo interno da OpenAI resolveu o problema de Navier-Stokes, um Prêmio do Milênio que desafiou matemáticos por 90 anos.
Se você já se perguntou por que as previsões meteorológicas perdem precisão depois de alguns dias ou por que a turbulência sacode um avião, a resposta remonta a um conjunto de equações que desafiou os melhores matemáticos do mundo por quase 90 anos. Em 8 de setembro de 2026, a OpenAI anunciou que um modelo de IA interno as havia resolvido.
A mesma empresa por trás do aplicativo ChatGPT no seu telefone demonstrou que a IA agora pode abordar problemas antes considerados território exclusivamente humano. Veja o que aconteceu, o que a solução de Navier-Stokes significa e por que isso importa para quem acompanha os avanços em IA matemática.
Compreendendo as equações de Navier-Stokes e a dinâmica de fluidos
As equações de Navier-Stokes descrevem como os fluidos se movem. Água, ar, sangue, correntes oceânicas. Se flui, essas equações governam. São a base matemática da dinâmica de fluidos.
Claude-Louis Navier e George Gabriel Stokes as derivaram no século XIX aplicando a segunda lei de Newton a fluidos contínuos. Em vez de rastrear moléculas individuais, as equações tratam o fluido como uma substância contínua e suave. Modelam velocidade, pressão e viscosidade para prever como essa substância se comporta sob diferentes condições.
Essas equações não são curiosidades teóricas. Projetistas de aeronaves as usam para simular o fluxo de ar sobre as asas. Meteorologistas dependem delas para previsão do tempo. Pesquisadores médicos as aplicam para estudar o fluxo sanguíneo através das artérias. Toda vez que o aplicativo de previsão do tempo no seu telefone prevê chuva, há uma conexão distante com Navier-Stokes e a dinâmica de fluidos.
As equações parecem elegantes no papel. O problema surge quando se faz uma pergunta simples: as soluções suaves sempre permanecem suaves, ou podem explodir e desenvolver singularidades onde as velocidades se tornam infinitas? Essa pergunta, fácil de formular e brutal de responder, atormentou os matemáticos por décadas.
O Prêmio do Milênio que desafiou os matemáticos
No ano 2000, o Clay Mathematics Institute nomeou a questão de existência e suavidade de Navier-Stokes como um dos sete Problemas do Prêmio do Milênio. Cada um trazia uma recompensa de um milhão de dólares. Apenas um havia sido resolvido desde então: a conjectura de Poincaré, resolvida pelo matemático russo Grigori Perelman em 2003.
A pergunta parece simples. Comece com um fluido 3D incompressível, suave e estacionário. Aplique uma força suave. A velocidade do fluido permanece limitada para sempre, ou pode crescer sem limite em algum ponto? Uma singularidade, neste contexto, significa que a velocidade do fluido atinge o infinito em tempo finito.
Em 1934, Jean Leray provou que soluções existem em um sentido generalizado. Mas se essas soluções permanecem suaves, permanecem sem resposta. Por nove décadas, a questão da suavidade resistiu a toda tentativa. Vencedores da Medalha Fields tentaram. Programas inteiros de pesquisa se formaram em torno de resultados parciais. Ninguém conseguiu resolvê-la.
É esse o problema que o sistema de IA da OpenAI atacou e resolveu.
Como o modelo interno da OpenAI encontrou a solução
A OpenAI não usou um produto disponível ao público. A empresa vinha treinando um novo modelo interno desde 28 de agosto que mostrou desempenho sem precedentes em testes de matemática. Este modelo é significativamente mais capaz que o GPT-6 Astra, seu modelo principal atual. O treinamento ainda estava em andamento quando o avanço ocorreu.
Em 1º de setembro, após ouvir rumores de que Problemas do Prêmio do Milênio estavam sendo resolvidos, a OpenAI lançou um esforço coordenado multiagente em todos os Problemas do Prêmio do Milênio em aberto. Os agentes tinham acesso à internet e ferramentas de execução de código. Trabalhavam em grupos que podiam se comunicar internamente, e grupos diferentes recebiam diferentes formulações de cada problema.
O grupo de Navier-Stokes envolveu aproximadamente 10.000 agentes concorrentes. Eles testaram as quatro variantes da formulação oficial do problema. As versões A e B provariam que as soluções permanecem suaves. As versões C e D o refutariam construindo uma singularidade. A OpenAI designou cada variante a grupos separados.
Os agentes encontraram a resposta em 5 de setembro, cerca de 88 horas após o início. Durante o esforço de Navier-Stokes, os agentes trocaram 2,7 milhões de mensagens e consumiram aproximadamente 130 bilhões de tokens de saída. A verificação de formalização em Lean levou mais 17 horas usando o GPT-6 Astra. Em todos os problemas tentados combinados, os agentes enviaram 4,9 milhões de mensagens e usaram cerca de 300 bilhões de tokens.
É um esforço computacional massivo. O custo chegou a milhões de dólares. A OpenAI declarou que não reivindicará o prêmio de um milhão de dólares, enquadrando o resultado como uma fotografia do progresso da IA.
O que a solução da singularidade significa
A prova da IA mostra que um fluido suave que começa em repouso pode desenvolver uma singularidade em tempo finito, mesmo com uma força externa suave e energia finita durante o processo inteiro. Isso resolve as declarações C e D da formulação oficial do Clay. É uma refutação, não uma confirmação.
A solução toma a forma de um vórtice. Trata-se de um redemoinho de fluido que gira para dentro enquanto se estica ao longo de seu eixo, como um espaguete sendo esticado. A região central encolhe e acelera, mas a energia total permanece finita, consistente com as leis da física. A singularidade emerge do próprio movimento do fluido em vez de um empurrão externo infinito.
O desafio técnico aqui é considerável. Os termos nas equações de Navier-Stokes que descrevem o movimento (aceleração, gradientes de pressão, transferência de momento, viscosidade) devem crescer simultaneamente enquanto se cancelam de maneira precisa. Esse equilíbrio detalhado deixa uma força externa suave mesmo quando a velocidade do fluido cresce sem limite.
O que uma singularidade significa fisicamente? Como fluidos reais não podem se mover à velocidade infinita, uma singularidade indica que a aproximação de meio contínuo falha. Nesse ponto, as equações deixam de ser úteis, e seria necessário rastrear partículas individuais. A matemática nos diz onde seu próprio modelo falha.
De Euler a Navier-Stokes: o caminho inesperado da IA
Antes de atacar Navier-Stokes diretamente, os agentes tentaram problemas de aquecimento mais simples. Uma foi a questão de regularidade das equações de Euler, que é Navier-Stokes sem o termo de viscosidade. É uma versão simplificada: sem fricção para suavizar as coisas.
Cerca de 100 agentes passaram aproximadamente 50 horas e resolveram o problema de regularidade de Euler sem forçamento. Este não era o alvo principal. Era uma missão secundária que valeu a pena. Quando os agentes viram a solução de Euler, reconheceram Navier-Stokes como o alvo mais promissor e realocaram recursos. A resolução de Euler informou sua abordagem ao problema mais difícil.
Concorrentemente, Levent Alpöge, pesquisador da Anthropic, e Tristan Buckmaster, professor de matemática na NYU, trabalhavam em problemas relacionados. Eles resolveram o problema de regularidade de Euler com forçamento usando sua própria abordagem com várias ferramentas de IA. O trabalho deles e o da OpenAI são independentes. Os resultados diferem mesmo no caso de Euler: a OpenAI resolveu a versão sem forçamento, enquanto Alpöge e Buckmaster resolveram a versão com forçamento.
O trabalho concorrente gerou controvérsia. Buckmaster levantou questões sobre se a OpenAI havia acessado sua pesquisa não publicada através de dados de uso do produto. A OpenAI negou, observando que suas provas diferem significativamente e que nenhum dado específico de usuário foi acessado para resolver o problema, o que levanta questões sobre privacidade e segurança na pesquisa com IA. A disputa destaca uma tensão que só aumentará à medida que sistemas de IA participem cada vez mais de pesquisa de fronteira, com implicações para AI safety e o uso responsável da tecnologia.
Por que este avanço IA importa para a tecnologia cotidiana
Você pode perguntar por que deveria se importar com uma prova matemática. Pergunta justa.
As equações de Navier-Stokes sustentam tecnologias que você usa diariamente. Compreender melhor quando e como essas equações falham leva a melhores métodos numéricos. Isso significa modelos meteorológicos mais precisos, design de aeronaves mais eficiente e melhores simulações de fluxo sanguíneo para diagnósticos médicos. A dinâmica de fluidos não é apenas acadêmica. É a física por trás de coisas das quais você depende todos os dias.
Há também o ângulo da IA. A OpenAI resolveu um problema que os matemáticos de elite não conseguiram resolver em 90 anos. Os agentes fizeram isso em 88 horas. Isso não significa que a IA substitui os matemáticos. Significa que a IA está se tornando uma colaboradora poderosa para pesquisa científica em um nível que não víamos antes. É um avanço de IA sem precedentes, e as capacidades de IA matemática demonstradas aqui são uma antevisão de para onde as ferramentas para consumidores estão indo.
O aplicativo ChatGPT no seu telefone vem da mesma empresa. Embora o modelo interno que resolveu Navier-Stokes não esteja disponível para o público, as técnicas sendo desenvolvidas, as capacidades de raciocínio sendo aprimoradas, chegam aos produtos que você pode usar. Quando a próxima geração de modelos de IA chegar, avanços como estes são uma prévia do que está por vir.
Prós e contras da IA diante dos problemas do Prêmio do Milênio
Prós:
- Velocidade: o que levou décadas de esforço humano foi explorado em dias
- Escala: 10.000 agentes podem tentar milhares de abordagens simultaneamente
- Novos métodos: a IA encontrou estratégias de solução que humanos não haviam considerado
- Formalização: a prova em Lean pode ser verificada por máquina, adicionando confiança
Contras:
- Lacuna de verificação: provas matemáticas precisam de revisão por pares, e as geradas por IA não são exceção
- Custo: executar 10.000 agentes por 88 horas não é barato
- Controvérsia: o trabalho concorrente levantou questões sobre ética de pesquisa e uso de dados
- Reprodutibilidade: o modelo interno não está disponível publicamente
Nada mau. Nem perfeito também.
O que isso significa para o futuro da IA e da matemática
A solução de Navier-Stokes da OpenAI é uma fotografia de onde a IA está agora. A prova precisa de revisão da comunidade, mas o sinal é claro. A IA agora pode contribuir para a pesquisa matemática de fronteira em um nível que os humanos não alcançaram sozinhos. Faça o download de um aplicativo de assistente de IA para explorar o que essas ferramentas podem fazer hoje, porque a lacuna entre avanços de pesquisa e recursos para consumidores está se fechando mais rápido do que a maioria espera.
NEWS
REVIEWS
HOWTO
