OpenAI apresenta prova para o problema de Navier–Stokes

Resumo

A OpenAI afirma ter resolvido o problema de existência e suavidade das equações de Navier–Stokes em três dimensões, uma das questões matemáticas mais importantes ainda em aberto sobre o comportamento dos fluidos. A empresa publicou uma prova analítica de 166 páginas e uma formalização em Lean, uma linguagem usada para verificar provas matemáticas por computador.

O resultado apresentado constrói um fluido inicialmente em repouso que, sob uma força externa suave, desenvolve velocidade ilimitada num tempo finito, apesar de conservar energia cinética limitada. Isto corresponde às alternativas C e D da formulação oficial do problema do Clay Mathematics Institute: mostra que, nas condições construídas na prova, uma solução suave das equações pode deixar de o ser.

Na prática

As equações de Navier–Stokes descrevem o movimento de fluidos e estão na base de modelos para aeronáutica, meteorologia, oceanos e circulação sanguínea. A dúvida central era saber se a viscosidade — o efeito que tende a suavizar o movimento do fluido — impede sempre o aparecimento de singularidades em três dimensões.

A construção da OpenAI usa um vórtice que roda, se contrai e se alonga. À medida que a região central diminui, a velocidade cresce sem limite, mas a energia total mantém-se finita. A dificuldade não era apenas fazer a velocidade divergir: era garantir que a força externa permanecia suave. A prova usa oscilações no fluido para compensar os termos que, de outra forma, fariam essa força tornar-se singular.

Contexto

Segundo a OpenAI, a prova foi encontrada por um sistema interno mais capaz do que o GPT-6 Astra, coordenando cerca de 10 mil agentes em paralelo. O trabalho começou a 1 de setembro, chegou à resolução de Navier–Stokes cerca de 88 horas depois e consumiu aproximadamente 130 mil milhões de tokens de saída. A formalização e verificação em Lean demoraram mais 17 horas.

A empresa diz que não pretende reclamar o prémio de um milhão de dólares associado ao problema. O resultado foi tornado público com a prova e o código da formalização, permitindo escrutínio matemático externo. A verificação independente por especialistas continuará a ser decisiva: uma prova desta dimensão só se estabelece plenamente depois de ser examinada pela comunidade matemática.

Porque importa

• É uma demonstração de IA aplicada a investigação matemática de fronteira, não apenas a resolução de exercícios ou assistência à programação.
• O uso de milhares de agentes coordenados mostra uma escala de investigação automatizada muito diferente de um único modelo a responder a um prompt.
• Se a prova resistir ao escrutínio, resolve uma questão aberta há cerca de 90 anos e altera a compreensão matemática sobre quando as equações deixam de descrever um fluido contínuo.