IA resolve o Problema do Milênio das equações de Navier-Stokes, afirma equipe da OpenAI

Um problema que desafiou gerações

As equações de Navier-Stokes, formuladas no século XIX, descrevem o comportamento de fluidos como água, ar e plasma. Apesar de sua simplicidade aparente, elas escondem uma complexidade profunda: não se sabia se suas soluções em três dimensões poderiam se tornar infinitas em algum ponto — um fenômeno chamado singularidade.

O Instituto Clay ofereceu US$ 1 milhão para quem provasse, rigorosamente, se tais singularidades podem ou não ocorrer. Durante décadas, matemáticos tentaram demonstrar a existência ou inexistência dessas soluções explosivas, sem sucesso.

Agora, pela primeira vez, uma equipe de IA afirma ter encontrado uma solução que “explode”, resolvendo o problema.

O papel dos 10.000 agentes autônomos

Segundo o comunicado da OpenAI, o resultado foi obtido por uma rede de 10.000 agentes autônomos trabalhando de forma colaborativa por mais de 80 horas. Esses agentes exploraram milhões de caminhos matemáticos, gerando e verificando hipóteses em paralelo.

O sistema produziu quase 5 milhões de mensagens internas, refinando camadas de argumentos até chegar a uma construção que exibia a singularidade desejada. Em seguida, outro modelo de IA formalizou o resultado em Lean, garantindo que cada passo lógico fosse impecável.

O custo computacional estimado ultrapassa alguns milhões de dólares.

Uma solução que nasce de décadas de trabalho humano

Embora o feito seja atribuído à IA, matemáticos destacam que o avanço só foi possível graças ao trabalho prévio de Diego Córdoba e Luis Martínez-Zoroa, que desenvolveram uma técnica analítica baseada em “cascatas infinitas” de soluções parciais.

Essa abordagem, antes considerada excêntrica, tornou-se a base para os ataques modernos ao problema. Tanto a equipe da OpenAI quanto a dupla Tristan Buckmaster e Levent Alpöge, da Anthropic, utilizaram variações dessa estratégia.

Charles Fefferman, autor da descrição oficial do problema no Instituto Clay, afirmou que Córdoba e Martínez-Zoroa são “os verdadeiros heróis intelectuais” da conquista.

Controvérsias e disputas de prioridade

A corrida pela solução gerou tensões entre grupos de pesquisa. Buckmaster e Alpöge anunciaram avanços significativos horas antes da OpenAI, alegando ter resolvido versões relacionadas do problema usando modelos de IA.

Rumores sobre esses resultados teriam motivado a OpenAI a acelerar sua própria divulgação. Buckmaster afirmou que parte de seu trabalho preliminar pode ter influenciado indiretamente os agentes da OpenAI, embora os detalhes permaneçam nebulosos.

Apesar disso, ambas as equipes reconhecem a importância do trabalho umas das outras — e o papel central da IA como nova ferramenta matemática.

O que significa encontrar uma singularidade?

A descoberta não implica que fluidos reais “explodam” ou se comportem de forma infinita. Fluídos físicos são compostos por moléculas e não podem ser divididos infinitamente, como exige o modelo matemático.

No entanto, provar que as equações admitem singularidades é profundamente surpreendente: mostra que a matemática dos fluidos é mais estranha e contraintuitiva do que se imaginava.

Em termos práticos, o resultado redefine a fronteira entre análise matemática, física teórica e computação avançada.

Um novo capítulo para a matemática assistida por IA

Se confirmado, o feito marca o início de uma nova era: problemas considerados impossíveis para humanos podem ser resolvidos por enxames de agentes inteligentes, combinando criatividade algorítmica com verificação formal.

A matemática, pela primeira vez, testemunha uma prova de classe mundial produzida por máquinas — e aceita como válida por especialistas.