Problema matemático que já durava 90 anos foi resolvido pela OpenAI, diz empresa

Uma equipe de 10 mil agentes de inteligência artificial trabalhou em conjunto por 88 horas e alcançou algo que matemáticos buscavam há nove décadas. O desafio envolve equações que descrevem como líquidos e gases se movimentam — conhecimento aplicado em aviões, previsão do tempo e estudo do fluxo sanguíneo.

A OpenAI anunciou que seu sistema de IA resolveu o problema de existência e suavidade de Navier-Stokes, um dos sete Problemas do Milênio selecionados em 2000. Este guia explica o que são essas equações fundamentais, por que o problema era tão complexo e como funcionam os sistemas de IA que trabalham em grupo para resolver questões matemáticas.

O que são as equações de Navier-Stokes e por que importam

As equações de Navier-Stokes funcionam como uma ferramenta matemática para prever o movimento de fluidos. Elas descrevem como a água corre por um cano ou como o ar circula em uma sala.

Essas fórmulas se baseiam na segunda lei de Newton, que relaciona força, massa e aceleração. Para fazer os cálculos, tratam o fluido como um meio contínuo, sem precisar acompanhar o movimento de cada molécula individual.

As aplicações práticas aparecem em diversas áreas da engenharia e ciência. Engenheiros usam essas equações no desenvolvimento de aviões, meteorologistas as aplicam na previsão do tempo e profissionais da saúde as utilizam para estudar como o sangue flui pelo corpo humano.

O problema matemático que permaneceu sem solução por 90 anos

A dúvida central envolvia uma situação específica: mesmo partindo de um movimento suave, sem mudanças bruscas de velocidade, essas equações poderiam prever uma velocidade que cresce sem limite em um tempo finito?

Essa situação recebe o nome de singularidade. Nos cálculos, a velocidade do líquido ou do gás cresce sem limite, mesmo com a viscosidade — que funciona como um atrito interno e tende a conter esse crescimento.

O resultado não significa que a água ou o ar podem alcançar velocidade infinita na realidade. Ele mostraria que existe uma situação em que as fórmulas deixam de descrever corretamente o que acontece na natureza.

A solução apresentada pela inteligência artificial

Segundo a OpenAI, sua inteligência artificial demonstrou que essa singularidade pode ocorrer. No cenário matemático apresentado, o fluido começa parado e passa a se mover sob a ação de uma força externa suave, sem mudanças bruscas.

A energia total do fluido permanece finita durante todo o processo — mesmo com a velocidade crescendo sem limite em uma região. Essa característica torna o resultado ainda mais significativo do ponto de vista matemático.

A empresa divulgou uma demonstração matemática e uma versão escrita em Lean, ferramenta que permite verificar demonstrações por computador. A OpenAI informou que não pretende reivindicar o prêmio associado ao desafio.

Como 10 mil agentes de IA trabalham simultaneamente

O sistema utilizou aproximadamente 10 mil agentes de inteligência artificial trabalhando em conjunto. Esses agentes operaram simultaneamente no grupo que encontrou a solução matemática.

A OpenAI começou a treinar o modelo usado na pesquisa em 28 de agosto. Segundo a companhia, ele é significativamente mais capaz que o GPT-6 Astra e continua em treinamento.

O resultado foi alcançado em aproximadamente 88 horas de trabalho conjunto. Essa velocidade contrasta com as décadas em que matemáticos humanos trabalharam no problema sem chegar a uma solução definitiva.

Os Problemas do Milênio e sua importância

O problema de existência e suavidade de Navier-Stokes é um dos sete Problemas do Milênio. Esses desafios matemáticos foram selecionados pelo Instituto Clay de Matemática no ano 2000.

Cada problema representa uma questão fundamental não resolvida na matemática. O Instituto oferece prêmios para as soluções, reconhecendo a dificuldade e importância dessas questões.

Até agora, apenas um dos sete problemas havia sido resolvido. A solução apresentada pela OpenAI representa um avanço significativo, embora ainda precise passar por verificação da comunidade matemática internacional.