A OpenAI publicou uma solução proposta para o problema da existência e suavidade de Navier-Stokes, um dos sete Problemas do Prémio Millennium com um prémio de $1 milhão, gerada por um sistema experimental em que cerca de 10.000 agentes de IA colaboraram durante 88 horas. A prova defende que um vórtice de fluido pode esticar-se e concentrar-se até a sua velocidade atingir o infinito em tempo finito, mesmo enquanto a energia total permanece finita. O modelo interno por trás disso é, segundo a OpenAI, significativamente mais capaz do que o GPT-6 Astra. Os agentes trocaram 2,7 milhões de mensagens e geraram cerca de 130 mil milhões de tokens antes de a Astra gastar mais 17 horas a formalizar e verificar a prova.
Por que é relevante
As equações de Navier-Stokes descrevem como se movem fluidos como a água e o ar, e a questão de saber se fluxos perfeitamente suaves podem degradar-se em turbulência de velocidade infinita permanece em aberto há quase 90 anos. Os fluidos reais não se podem mover infinitamente depressa sob a física atual, mas as equações podem ainda assim falhar em prever o comportamento a escalas extremas. Uma solução confirmada melhoraria a forma como os cientistas modelam o fluxo turbulento no design de aeronaves, na previsão meteorológica e na investigação do fluxo sanguíneo.
Para além da matemática, a metodologia pode ser a história maior. Se milhares de agentes de IA conseguem comprimir 90 anos de matemática aberta em três dias, a mesma arquitetura poderia ser orientada para problemas difíceis em ciência dos materiais, energia, aeroespacial e medicina, áreas onde o gargalo raramente são os dados e quase sempre são as horas dos investigadores.
Impacto no mercado
O resultado ainda não é uma solução oficialmente reconhecida. O Clay Mathematics Institute exige que as respostas propostas resistam a anos de análise e obtenham ampla aceitação entre os matemáticos antes de qualquer prémio ser atribuído, um processo que tipicamente se prolonga por mais tempo do que a prova em si demorou a ser produzida.
Uma controvérsia separada já se desenrola em paralelo com esse calendário. O matemático da NYU Tristan Buckmaster e o investigador da Anthropic Levent Alpöge estavam a trabalhar num problema de dinâmica de fluidos intimamente relacionado, usando ferramentas de IA, incluindo o Codex, e Buckmaster questionou publicamente como é que a OpenAI chegou à mesma abordagem dias depois de saber que o par tinha feito progressos.
Perguntas frequentes
-
O que é o problema da existência e suavidade de Navier-Stokes?
É um dos sete Problemas do Prémio Millennium, cada um com um prémio de $1 milhão. A questão em aberto pergunta se fluxos de fluido perfeitamente suaves descritos pelas equações de Navier-Stokes podem degradar-se em turbulência de velocidade infinita, ou explodir, em tempo finito.
-
Como é que os agentes de IA da OpenAI produziram a solução proposta?
A OpenAI diz que cerca de 10.000 agentes de IA colaboraram durante 88 horas, trocando 2,7 milhões de mensagens e gerando cerca de 130 mil milhões de tokens, antes de um modelo interno mais capaz do que o GPT-6 Astra gastar mais 17 horas a formalizar e verificar a prova.
-
O que defende efetivamente a prova proposta de Navier-Stokes?
Defende que um vórtice de fluido pode esticar-se e concentrar-se até a sua velocidade atingir o infinito em tempo finito, mesmo enquanto a energia total do sistema permanece finita.
-
Porque estão os matemáticos a questionar o resultado da OpenAI?
O Tristan Buckmaster da NYU e o Levent Alpöge da Anthropic estavam a trabalhar num problema de dinâmica de fluidos intimamente relacionado, usando ferramentas de IA, incluindo o Codex. Buckmaster questionou publicamente como é que a OpenAI chegou à mesma abordagem dias depois de saber que o par tinha feito progressos.
-
Vai a OpenAI reclamar o Prémio Millennium de $1 milhão?
Não. O Clay Mathematics Institute continua a exigir anos de análise e ampla aceitação entre os matemáticos antes de atribuir o prémio, e a OpenAI afirmou que não pretende reclamá-lo de qualquer forma.
CoinDesk