IA faz em 88 horas o que matemáticos tentavam há décadas e propõe solução para um dos maiores problemas da ciência

Cerca de 10 mil agentes de inteligência artificial trabalharam simultaneamente para atacar o problema de Navier–Stokes, um dos sete “Problemas do Milênio”; resultado ainda passa pelo escrutínio da comunidade científica

A inteligência artificial pode ter acabado de atravessar uma fronteira que, até pouco tempo atrás, parecia reservada exclusivamente aos maiores matemáticos do mundo.

A OpenAI anunciou que um sistema experimental de inteligência artificial produziu uma solução para o chamado problema da existência e suavidade de Navier–Stokes, uma das questões matemáticas mais famosas e difíceis ainda em aberto. O resultado foi obtido depois de aproximadamente 88 horas de trabalho envolvendo cerca de 10 mil agentes de IA atuando simultaneamente.

O feito chama atenção não apenas pela complexidade do problema, mas pela escala da operação. Segundo a empresa, somente na busca pela solução de Navier–Stokes, os agentes trocaram aproximadamente 2,7 milhões de mensagens e produziram cerca de 130 bilhões de tokens. Depois da descoberta, outras 17 horas foram utilizadas na formalização e verificação computacional da demonstração.

Mas afinal, que problema é esse?

As equações de Navier–Stokes são fundamentais para descrever o movimento dos fluidos. Elas estão relacionadas matematicamente a fenômenos que envolvem água, ar, correntes, turbulência e outros tipos de escoamento.

O grande desafio é entender se, em três dimensões e sob determinadas condições, essas equações permanecem matematicamente bem-comportadas ou se podem chegar a um ponto de ruptura — uma chamada singularidade.

É justamente nesse ponto que está a descoberta anunciada.

Segundo a OpenAI, a demonstração produzida pelo sistema mostra que a dinâmica descrita pelas equações pode desenvolver uma singularidade em tempo finito. A empresa publicou tanto a demonstração matemática quanto uma formalização utilizando o Lean, ferramenta empregada para verificar provas matemáticas por computador.

Um problema de US$ 1 milhão

Navier–Stokes integra os famosos Problemas do Milênio, criados pelo Clay Mathematics Institute no ano 2000.

São sete desafios considerados fundamentais para a matemática moderna, cada um associado a um prêmio de US$ 1 milhão para uma solução reconhecida.

Até agora, apenas um dos sete havia sido oficialmente solucionado.

Por isso, se a nova demonstração resistir à análise rigorosa dos matemáticos, seu significado científico poderá ser histórico.

Mas existe uma diferença importante entre anunciar uma solução e ter o problema oficialmente reconhecido como resolvido. O trabalho ainda precisa passar por amplo escrutínio independente da comunidade matemática.

10 mil inteligências artificiais trabalhando juntas

Talvez o aspecto mais impressionante da história esteja na forma como o problema foi atacado.

Em vez de simplesmente fazer uma pergunta a um chatbot, a OpenAI colocou milhares de agentes artificiais para investigar caminhos diferentes simultaneamente.

Os sistemas foram separados em grupos, testaram diferentes versões do problema, executaram códigos e compartilharam descobertas. Posteriormente, informações consideradas promissoras foram consolidadas e redistribuídas entre os agentes.

O grupo responsável pelo resultado final chegou a envolver aproximadamente 10 mil agentes concorrentes.

Eles levaram cerca de 88 horas para chegar à solução apresentada.

É um modelo de pesquisa radicalmente diferente do tradicional: milhares de sistemas artificiais explorando hipóteses paralelamente até encontrar um caminho promissor.

Descoberta também provoca polêmica

O anúncio, entretanto, não veio sem controvérsia.

Matemáticos já discutem tanto os detalhes da demonstração quanto questões relacionadas à autoria e a trabalhos paralelos desenvolvidos por outros pesquisadores. Trabalhos recentes de Tristan Buckmaster, da Universidade de Nova York, e Levent Alpöge também avançaram sobre problemas relacionados às equações de fluidos.

A própria OpenAI reconhece a existência de trabalhos concorrentes e sustenta que sua solução foi desenvolvida independentemente. A discussão deverá continuar enquanto especialistas analisam detalhadamente a demonstração apresentada.

O verdadeiro impacto pode ir muito além da matemática

Mesmo que toda a discussão técnica ainda precise ser resolvida, o episódio levanta uma questão muito maior.

Durante anos, a inteligência artificial impressionou ao produzir textos, imagens, vídeos e programas de computador. Agora, sistemas avançados começam a atacar problemas científicos para os quais a própria humanidade ainda não conhece a resposta.

Se resultados desse nível se tornarem frequentes, a IA deixará de ser apenas uma ferramenta capaz de organizar o conhecimento produzido por seres humanos.

Ela poderá participar diretamente da criação de conhecimento novo.

E essa talvez seja a parte mais importante desta história