Os dias 07 e 08 de setembro de 2026 ficaram marcados na memória da comunidade matemática internacional, e, particularmente, entre os pesquisadores da área de dinâmica dos fluidos.
No dia 08 de setembro a empresa OpenAI, responsável pelo ChatGPT, anunciou uma resolução, por um de seus sistemas de IA, para um dos sete “Problemas do Milênio”: a construção de uma solução, inicialmente suave, das equações de Navier-Stokes em dimensão três, que forma singularidade em tempo finito. Mais precisamente, a velocidade fica arbitrariamente grande em um intervalo finito de tempo, um fenômeno conhecido como blow-up. Na véspera deste anúncio, Tristan Buckmaster (CIMS-NYU, EUA) e Levent Alpöge (Anthropic, EUA), divulgaram que haviam conseguido construir, usando também ferramentas de IA, soluções suaves que também explodem em tempo finito, mas para três outros modelos de dinâmica dos fluidos: as equações de Euler tridimensionais, as equações de Boussinesq bidimensionais e as equações de meios porosos incompressíveis. Essas três equações são “parentes próximos” das equações de Navier-Stokes. Em particular, as equações de Euler correspondem ao caso de viscosidade nula das equações de Navier-Stokes.
- Impacto na Matemática e na área de Dinâmica dos Fluido
As equações de Navier-Stokes são um modelo matemático bem estabelecido para o movimento de fluidos do mundo real, tais como água, ar, sangue, mel,… e amplamente utilizado na prática. Seu uso vai desde o movimento de bactérias, de modelos de escoamento de sangue em artérias para o desenho de stents, aos escoamentos em torno de edificações, de asas de aviões e cascos de navios, e até ao estudo de escoamentos em escala planetária em metereologia e climatologia. A formação de singularidade coloca em dúvida a validade do modelo, especialmente para previsões em escalas de tempo mais longas. Contudo a construção do exemplo em questão é tão delicada que coloca em dúvida se de fato ocorre na prática. Além disso, há um resultado de 1980, devido a A. Fursikov, mostrando que quase todas as instâncias de exemplos na natureza produzem soluções que não levam a singularidades.
Ainda assim, o fato de que blow-up é possível tem impacto conceitual substancial, podendo levar a novo entendimento, por exemplo, em teoria de turbulência e podendo eventualmente ter relevância prática. A existência de blow-up também leva a perguntas relacionadas ao limite de viscosidade evanescente, que é outro problema clássico em aberto na área de dinâmica dos fluidos.
O Problema do Milênio para Navier-Stokes estava naturalmente dividido em dois: demonstrar que toda solução de Navier-Stokes com velocidade inicial suave e na ausência de força externa, permanece suave para todo tempo OU exibir uma solução das equações de Navier-Stokes na presença de força externa suave, com dado inicial suave, que deixe de ser suave em tempo finito. O problema resolvido pela OpenAI é o segundo: há uma força externa suave. O mesmo vale para a solução para Euler construida por Buckmaster e Alpöge. Vale notar que o problema de existência de solução de Navier-Stokes global no tempo, suave para todo tempo, com forçamento nulo, ainda está em aberto. De fato, no preprint publicado em 17 de setembro de 2026, Peter Constantin (Princeton U., EUA), Mihaela Ignatova (Temple U., EUA) e Vlad Vicol (CIMS-NYU, EUA) demonstram que uma construção na linha do manuscrito da OpenAI não funcionaria na ausência de força externa ou até mesmo para forçamento analítico.
Em contraste com Navier-Stokes, o problema de formação de singularidades para Euler não recebeu o incentivo de um prêmio. Entretanto as dificuldades em ambos os problemas guardam enormes similaridades. A chave, em ambos os casos, é a explosão da vorticidade, que mede tendência de rotação infinitesimal. A construção da solução com blow-up apresentada pela OpenAI, de acordo com o manuscrito divulgado pela empresa, se inspira no trabalho recente de Diego Córdoba (ICMAT, Espanha) e Luiz Martínez-Zoroa (CUNEF, Espanha). Eles propuseram exemplos construídos recursivamente usando camadas cada vez mais oscilatórias, com amplitude alta em frequência alta para a solução, e amplitude baixa em frequência alta para a força externa. Contudo, a construção da OpenAI é baseada em camadas construidas para a velocidade, enquanto o trabalho de Córdoba e Martínez-Zoroa, e também Buckmaster e Alpöge, é para a vorticidade.
- Impacto na comunidade matemática internacional
Os Problemas do Milênio, anunciados no ano 2000 para celebrar o novo milênio, foram formulados por uma comissão de especialistas ligada ao Instituto Clay de Matemática, uma organização dedicada ao avanço do pensamento matemático. Para cada problema foi estabelecido um prêmio de 1 milhão de dólares por sua solução, com o objetivo multifacetado de (1) divulgar ao grande público que Matemática ainda é uma atividade repleta de problemas importantes em aberto, (2) enfatisar a importância de realizar pesquisa para solucionar os problemas mais profundos e difíceis da Matemática, e (3) reconhecer realizações matemáticas de impacto histórico
Em 18 de março de 2010 o Instituto Clay anunciou que um dos Problemas do Milênio, a Conjectura de Poincaré, que trata de tema na área de topologia, havia sido reconhecidamente resolvido por Grigori Perelman e a solução havia passado por todo o crivo de verificação necessário. O pesquisador negou-se a receber o prêmio.
Até o dia 08 de setembro de 2026 nenhum outro Problema do Milênio fora resolvido.
O anúncio da OpenAI foi recebido com choque pela comunidade. Não apenas pelo fato do problema de blow-up para Navier-Stokes não estar mais em aberto, mas também pela forma como se chegou à solução. Primeiramente, de acordo com o anúncio inicial (editado desde então), não houve participação de matemáticos especialistas em dinâmica dos fluidos. Em segundo lugar, pela rapidez com que se chegou à solução e pelo tamanho dos recursos utilizados: 88 horas de computador, 10000 agentes de IA, vários milhões de dólares em custo energético. O resultado em si não é uma surpresa: desde 2013, em vista do trabalho numérico de Tom Hou (CalTech, EUA), a comunidade convergiu para acreditar que havia soluções de Navier-Stokes com blow-up. No entanto, em vista de avanços recentes, acreditava-se que um resultado obtido por humanos ainda estivesse a cerca de 10 anos de “distância”. Para além disso, surgiu uma controvérsia na interação da OpenAI com os pesquisadores Buckmaster e Alpoge, explicadas numa carta à comunidade publicada por Buckmaster. Questionou-se se empresas de IA não estariam usando dados de usuários para treinar seus modelos mais avançados e, efetivamente, apropriar-se de pesquisa realizada por humanos.
Vale observar que, ao longo de todo o verão do hemisfério Norte, foram chegando notícias de problemas relevantes caindo por terra, sendo solucionados por IA. A frequência destes anúncios foi tornando-se cada vez maior, e a relevância e dificuldade dos problemas abordados também. Isso, por si só, já estava impactando muito seriamente a comunidade matemática, contribuindo para uma verdadeira crise existencial.
Normalmente resultados anunciados através de preprints ainda passam por exame minucioso por pares, ao ser submetidos a publicação em revistas especializadas. Os resultados obtidos exclusivamente por IA não são submetidos a publicação. Passam por verificação chamada “processo de formalização usando Lean”, um programa de verificação formal de correção matemática. Resultados matemáticos são expressos na forma de Teoremas, e seus enunciados, assim como suas demonstrações, são singularmente adequados a algoritmização. Ainda assim, formalização em Lean feita por IA pode conduzir a erros. No caso da solução do problema de singularidades para Navier-Stokes, dada a relevância do problema, o trabalho anunciado pela OpenAI, mesmo “tendo sido formalizado em Lean”, ainda passará por análise rigorosa de especialistas, algo que poderá levar muito mais tempo do que as 88 horas gastas na sua resolução. Por enquanto o resultado ainda é considerado provisório e o problema não está solucionado em definitivo. O matemático Javi Gomez-Serrano (Brown U., EUA) falou, numa palestra especial promovida pela Universidade de Harvard, no dia 11 de setembro, sobre o problema de singularidades para Navier-Stokes e a solução da OpenAI. De acordo com Gomez-Serrano, que estava trabalhando neste problema, a construção da OpenAI tem alta probabilidade de estar correta.
As empresas de IA, tais como OpenAI e Anthropic, não submetem à publicação os resultados matemáticos obtidos por seus sistemas pois trata-se de um exercício acadêmico que foge de seu escopo de interesse. O interesse dessas empresas é estabelecer benchmarks para seus produtos e usar soluções de problemas relevantes como estratégia de marketing. Para os Matemáticos, a solução de um problema relevante representa avanço de conhecimento, melhoria de compreensão, abertura de novas direções de pesquisa, formulação de novos problemas. É o que mantém viva a atividade de pesquisa em Matemática. Este descompasso entre os objetivos das empresas de IA, que vêm de fato solucionando problemas importantes de Matemática, e os objetivos da comunidade, está provocando uma verdadeira crise existencial na comunidade. De um lado, a mineração pelas empresas de IA de problemas relevantes e profundos sem dar tempo da comunidade calibrar ganho de compreensão e sem oferecer tempo para digerir as soluções e apontar novas direções, gerar novos problemas; de outro lado a necessidade de se adaptar à poderosa nova ferramenta e integrá-la às atividades de pesquisa. Nas palavras de um colega, Nestor Guillen (U. Texas-Austin, EUA), uma pergunta relevante para a comunidade, e que carece de resposta, é se “there can be a world where LLMs* are not harmful but rather supportive of mathematicians as we follow our prime directive: understanding things.”
*LLMs: Large Language Models, formam a base para sistemas de IA generativa