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
