A inteligência artificial entrou no centro de uma das discussões mais importantes da matemática atual. Em 8 de setembro de 2026, a OpenAI anunciou que um sistema interno havia produzido uma solução para o problema de existência e regularidade de Navier-Stokes, uma das sete questões matemáticas escolhidas pelo Clay Mathematics Institute para representar alguns dos maiores desafios ainda abertos da área.
O anúncio, porém, rapidamente deixou de ser apenas uma demonstração do avanço da IA. Pesquisadores levantaram questionamentos sobre prioridade científica, uso de informações fornecidas por usuários e os limites éticos da competição entre laboratórios de inteligência artificial.
A própria OpenAI posteriormente atualizou sua publicação para esclarecer que realizou uma investigação sobre o assunto e concluiu que as interações de Tristan Buckmaster com o Codex não poderiam ter influenciado o sistema utilizado na descoberta.
Leia mais:
Setor financeiro ganha versão própria do ChatGPT lançada pela OpenAI
O que a OpenAI afirma ter conseguido
Segundo a empresa, um modelo interno, considerado mais capaz do que o GPT-6 Astra, trabalhou com milhares de agentes de inteligência artificial para investigar problemas relacionados às equações de fluidos.
A OpenAI afirma que cerca de 10 mil agentes participaram do processo e que o resultado para Navier-Stokes foi alcançado aproximadamente 88 horas depois do início da operação. A etapa de formalização e verificação em Lean levou outras 17 horas. Ao longo de todas as tentativas envolvendo os Problemas do Milênio, os agentes trocaram milhões de mensagens e produziram centenas de bilhões de tokens.
A empresa também divulgou uma demonstração formal da solução. A alegação central é que, em três dimensões e no caso não forçado, a dinâmica descrita pelas equações pode desenvolver uma singularidade em tempo finito.
Isso é diferente de simplesmente “resolver uma equação” para encontrar um número. O desafio envolve demonstrar matematicamente propriedades fundamentais das soluções das equações de Navier-Stokes, que descrevem o comportamento de fluidos como água e ar. O Clay Mathematics Institute destaca que questões sobre existência, unicidade e regularidade das soluções permanecem no centro do problema.
Por que Navier-Stokes é tão importante
O problema faz parte dos sete Problemas do Milênio estabelecidos pelo Clay Mathematics Institute em 2000. A instituição criou um fundo de US$ 7 milhões, distribuído em prêmios de US$ 1 milhão para cada solução que cumpra suas regras.
Até hoje, somente a Conjectura de Poincaré foi oficialmente solucionada entre os sete desafios.
As equações de Navier-Stokes são fundamentais para a descrição matemática do movimento de fluidos. Seus princípios aparecem em áreas que vão da engenharia aeronáutica à física e à previsão de fenômenos relacionados ao comportamento de líquidos e gases.
Por isso, uma demonstração correta de que as soluções podem apresentar uma singularidade em condições específicas representaria um avanço histórico para a matemática.
Mas há uma diferença importante entre uma empresa anunciar uma solução e a comunidade matemática reconhecer oficialmente que o problema foi resolvido.
De onde surgiu a controvérsia
A polêmica ganhou força porque Tristan Buckmaster, professor de matemática da Universidade de Nova York, e Levent Alpöge, pesquisador ligado à Anthropic, estavam desenvolvendo trabalhos relacionados a equações de Euler, uma versão intimamente relacionada ao estudo de fluidos.
Os pesquisadores utilizaram ferramentas de inteligência artificial, incluindo sistemas desenvolvidos pela OpenAI e pela Anthropic, durante suas investigações. Segundo o relato de Buckmaster, a OpenAI teria tomado conhecimento de que o grupo trabalhava em uma linha de pesquisa promissora e, posteriormente, direcionado recursos para o problema de Navier-Stokes.
A preocupação mais sensível envolvia as interações realizadas no Codex. Buckmaster questionou se informações presentes em suas sessões poderiam ter chegado ao sistema utilizado pela OpenAI.
Inicialmente, segundo o relato do matemático, ele não teria recebido uma resposta conclusiva sobre a possibilidade de essas conversas terem sido utilizadas para treinamento. O episódio alimentou uma discussão mais ampla sobre a relação entre dados de usuários, treinamento de modelos e propriedade intelectual.
OpenAI nega uso das conversas dos pesquisadores
A OpenAI apresentou posteriormente uma explicação mais detalhada. A empresa afirmou que seus pesquisadores e agentes não tiveram acesso ao trabalho dos matemáticos antes da publicação.
Mais importante, após uma investigação, a companhia declarou que os prompts de Buckmaster no Codex durante os dois meses anteriores ao anúncio não poderiam ter influenciado o sistema responsável pelo resultado, inclusive por meio de treinamento. Também afirmou que as duas demonstrações matemáticas são significativamente diferentes.
Isso muda o quadro em relação às primeiras acusações que circularam após o anúncio. Até o momento, não há comprovação pública de que a OpenAI tenha utilizado diretamente os rascunhos privados dos pesquisadores para produzir sua solução.
A controvérsia, portanto, não deve ser tratada como um caso comprovado de “roubo” de pesquisa. O ponto central passou a ser a necessidade de transparência sobre como modelos de IA são treinados, quais dados podem influenciar seus resultados e como deve funcionar a atribuição de crédito quando humanos e máquinas participam conjuntamente de uma descoberta.
A IA realmente resolveu o problema do Milênio?
Ainda é cedo para afirmar que o Problema de Navier-Stokes foi oficialmente resolvido.
A OpenAI publicou a demonstração e uma formalização em Lean, o que permite uma análise mais rigorosa do resultado. Entretanto, soluções de problemas matemáticos dessa magnitude precisam passar pelo escrutínio de especialistas independentes.
O próprio Clay Mathematics Institute estabelece regras específicas para o reconhecimento de uma solução e informa que não aceita simplesmente uma submissão direta para avaliação.
Além disso, a OpenAI declarou expressamente que não pretende reivindicar o prêmio de US$ 1 milhão referente ao problema.
Na prática, o episódio pode ser mais importante pelo que demonstra sobre a capacidade atual da inteligência artificial do que pelo prêmio em si. Se a prova resistir à análise independente, será um marco sobre a capacidade de sistemas de IA auxiliarem na produção de matemática de fronteira.
Imagem: Reprodução/Seu Crédito Digital
