Em setembro de 2026, uma empresa de inteligência artificial afirmou ter resolvido um dos problemas matemáticos mais difíceis do mundo usando um exército de programas autônomos. O feito deveria ser motivo de celebração. Mas, segundo matemáticos ouvidos por veículos de imprensa, a solução apresentada é tão difícil de ler que a comunidade científica ainda não conseguiu aprender quase nada com ela.
O problema em questão é o das equações de Navier-Stokes, um conjunto de fórmulas que descreve como os fluidos se movem. Fluidod, aqui, é qualquer coisa que escorre ou flui: água, ar, óleo, correntes marítimas. Essas equações são usadas há quase dois séculos para calcular desde o fluxo de água em canos até a sustentação que faz um avião voar. Elas funcionam na prática, mas os matemáticos nunca conseguiram provar por que funcionam sempre em três dimensões.
A questão central é se essas equações podem, em algum momento, "quebrar". Em termos simples, os matemáticos querem saber se existe algum cenário em que a velocidade de um fluido se torna infinita, algo impossível no mundo real. Esse fenômeno é chamado de singularidade. O Clay Mathematics Institute (abre em nova aba) incluiu esse problema entre os sete Problemas do Milênio no ano 2000, com prêmio de 1 milhão de dólares para quem resolvesse.
O que a OpenAI afirmou ter feito
O anúncio da OpenAI (abre em nova aba) descreve um esforço computacional impressionante. A empresa diz ter direcionado cerca de 10 mil agentes de inteligência artificial para trabalhar no problema. Agentes, nesse contexto, são programas capazes de tomar decisões, testar estratégias e compartilhar descobertas entre si sem que um humano precise comandar cada passo. Eles trabalharam por cerca de 88 horas seguidas.
Segundo a empresa, esses programas identificaram um cenário em que um fluido forma um vórtice, ou redemoinho, que gira cada vez mais rápido e fica cada vez menor. A velocidade continuaria subindo até se tornar infinita, enquanto a quantidade total de energia permaneceria finita. Isso corresponderia a uma singularidade.
A OpenAI também divulgou um documento de 166 páginas descrevendo a prova e uma versão em Lean (abre em nova aba), uma ferramenta de verificação formal que checa cada passo lógico de uma demonstração matemática por meio de um computador. A existência dessa versão verificável é um dos argumentos da empresa para defender a validade do resultado.
Por que os matemáticos não estão comemorando
Apesar de considerarem a prova tecnicamente correta, matemáticos entrevistados pela imprensa dizem que o documento é quase ilegível para seres humanos. James Maynard, matemático da Universidade de Oxford, afirmou que tem sido muito difícil extrair qualquer entendimento humano dessa nova prova de IA. Javier Gómez-Serrano, da Universidade Brown, foi mais direto: disse que o artigo não foi escrito para humanos. Ele acrescentou que a prova pode ajudar a área depois de uma reescrita séria, mas que, no momento, o documento não ensina muito.
Para entender a frustração, é útil uma comparação. Imagine que alguém entregue a receita de um bolo escrita inteiramente em símbolos que só fazem sentido para uma máquina. O bolo pode até ficar pronto e gostoso, mas o cozinheiro humano não aprendeu a técnica, não entendeu por que cada ingrediente está ali e não consegue reproduzir a receita sozinho. Na matemática, o caminho da prova importa tanto quanto o resultado final, porque é o raciocínio que gera novas ferramentas para resolver outros problemas.
A disputa sobre versões do problema
Há ainda uma discussão técnica sobre qual versão do problema foi resolvida. O prêmio do Clay Institute pode ser conquistado resolvendo a versão "forçada" ou a "inforçada". A versão forçada inclui uma força externa aplicada ao fluido, como a gravidade. A versão inforçada considera apenas as forças internas do próprio fluido.
Segundo especialistas, o interesse principal da comunidade está na versão inforçada, considerada mais pura e desafiadora. A solução da OpenAI se apoia em uma força externa. Além disso, uma prova publicada por matemáticos sustenta que a solução da OpenAI jamais poderá levar à resolução do problema completo. Luis Silvestre, da Universidade de Chicago, resumiu: o problema mais importante continua sem solução.
A polêmica sobre crédito e uso de dados
Horas antes do anúncio, o matemático Tristan Buckmaster, da Universidade de Nova York, acusou a OpenAI de ter se apropriado de seu trabalho. Ele afirma que vinha pesquisando o problema de Navier-Stokes há anos, usando ferramentas da própria OpenAI, incluindo o Codex, para auxiliar na pesquisa. Buckmaster diz que a empresa seguiu um caminho semelhante ao dele, que ninguém mais na área estava trilhando, e insinuou que a OpenAI pode ter acessado suas anotações sem permissão.
Ele também alega que, ao procurar a empresa, ouviu que receberia crédito no artigo se dispensasse seu colaborador Levent Alpöge, que trabalhava na Anthropic. A OpenAI negou as acusações, mas admitiu que não pode descartar que dados anonimizados derivados do uso de seus produtos tenham ajudado a melhorar seus modelos.
A controvérsia gerou uma reação organizada. Vinte e sete ganhadores da Medalha Fields, a mais prestigiada honraria da matemática, assinaram uma carta aberta criticando a forma como as empresas de tecnologia estão anunciando resultados. O documento, publicado em setembro, não condena a IA em si, mas aponta um desalinhamento entre os objetivos das empresas e os da comunidade matemática. Os signatários argumentam que tratar problemas históricos como benchmarks para marketing, sem tempo para documentar o raciocínio por trás das soluções, deixa a área em desordem.
O que muda para quem não é matemático
Para o público leigo, a história revela algo importante sobre como a inteligência artificial está entrando na ciência. Não basta que uma máquina encontre uma resposta correta. Para que o conhecimento avance, humanos precisam conseguir entender, verificar e ensinar o que foi descoberto. Quando isso não acontece, o resultado vira uma caixa-preta: funciona, mas ninguém sabe explicar por quê.
No caso das equações de Navier-Stokes, entender por que elas funcionam poderia levar a modelos melhores de turbulência em fluidos e de sustentação em aeronaves. É por isso que a comunidade considera o problema tão relevante, mesmo que a aplicação prática pareça distante no cotidiano.
Próximos passos
Matemáticos afirmam que levará muitas semanas para decifrar o que a prova da IA realmente diz. A OpenAI anunciou a criação de um conselho consultivo independente de matemática, com nove pesquisadores de destaque. A comunidade espera que esse tipo de iniciativa ajude a traduzir os resultados gerados por máquinas para uma linguagem que humanos possam estudar e aprender.
Enquanto isso, o problema principal das equações de Navier-Stokes continua aberto. A prova da OpenAI resolve uma versão específica, mas não a que os matemáticos consideram mais fundamental. O episódio deixa uma lição clara: encontrar a resposta é apenas parte do caminho. Entender a resposta é o que transforma um resultado isolado em conhecimento que a humanidade pode usar.