OpenAI diz ter feito em 88 horas o que a matemática não resolveu em 90 anos
Sistema da OpenAI usou 10 mil agentes para buscar uma solução para o problema de Navier-Stokes
A OpenAI afirma ter produzido uma solução para o problema de existência e regularidade de Navier-Stokes, uma das questões mais conhecidas da matemática moderna.
Segundo a empresa, o problema permaneceu sem solução por cerca de 90 anos, até que um sistema interno de inteligência artificial chegou a uma resolução em aproximadamente 88 horas.
O trabalho envolve as equações de Navier-Stokes, usadas para descrever o movimento de fluidos. Elas aparecem em aplicações como projeto de aeronaves, previsão do tempo e estudo do fluxo sanguíneo.
Leia também: Agentes da OpenAI trapacearam, hackearam a Hugging Face e esconderam provas
O QUE A IA RESOLVEU?
O problema questiona se um fluido tridimensional e incompressível, inicialmente em condições suaves, pode desenvolver uma singularidade em tempo finito.
Nesse cenário, a velocidade do fluido cresceria sem limite em um determinado período.
A OpenAI afirma que seu sistema produziu uma prova analítica e também uma versão formalizada na linguagem Lean, usada para verificar matematicamente demonstrações.
O resultado apresentado mostra que um fluido inicialmente em repouso pode desenvolver uma singularidade em tempo finito mesmo mantendo energia finita. A solução envolve um vórtice, que se contrai e se alonga enquanto aumenta sua velocidade.
10 MIL AGENTES TRABALHARAM NO PROBLEMA
Para chegar ao resultado, a empresa utilizou um sistema formado por agentes coordenados por um modelo interno. O grupo responsável pela resolução de Navier-Stokes contou com cerca de 10 mil agentes simultâneos.
Eles receberam diferentes versões do problema e foram divididos em grupos para explorar abordagens distintas. Ao longo do processo, os pesquisadores usaram o Codex para reunir os resultados considerados mais úteis entre as equipes.
Os agentes chegaram à resolução em 5 de setembro, aproximadamente 88 horas depois do início dos trabalhos. A formalização e a verificação em Lean levaram outras 17 horas, com participação do GPT-6 Astra.
MILHÕES DE MENSAGENS E BILHÕES DE TOKENS
A escala do experimento também chamou a atenção. Durante todas as tentativas realizadas no projeto, os agentes enviaram 4,9 milhões de mensagens e utilizaram cerca de 300 bilhões de tokens de saída.
Somente no trabalho relacionado a Navier-Stokes, foram 2,7 milhões de mensagens e aproximadamente 130 bilhões de tokens.
Antes de concentrar os recursos no problema, os agentes também resolveram uma questão relacionada às equações de Euler, em um trabalho que envolveu quase 100 agentes durante cerca de 50 horas.
Leia também: Qual é a diferença entre IA proprietária, open weight e open source?
OPENAI NÃO VAI REIVINDICAR O PRÊMIO
O problema de Navier-Stokes é um dos sete Problemas do Milênio, definidos pelo Clay Mathematics Institute. A lista reúne questões consideradas fundamentais para a matemática contemporânea.
Apesar de apresentar o resultado como uma resolução do problema, a OpenAI afirma que não pretende reivindicar o prêmio de US$ 1 milhão associado ao desafio.
A empresa também descreve o resultado como um retrato do estágio atual de desenvolvimento de seus sistemas de IA, destacando que a pesquisa continua e que o trabalho representa um avanço na capacidade de agentes artificiais contribuírem para pesquisas matemáticas.
