OpenAI força singularidade de Navier-Stokes

As equações de Navier-Stokes descrevem o movimento dos fluidos, das correntes oceânicas ao fumo e ao jato de uma mangueira. Saber se, em três dimensões, as suas soluções permanecem sempre regulares e finitas ou se podem divergir até deixarem de produzir um resultado matemático válido é um dos sete Problemas do Milénio propostos pelo Clay Mathematics Institute. A 8 de setembro, a OpenAI divulgou um manuscrito de 166 páginas e uma prova formal verificável por computador, alegando ter resolvido o problema. Três dias depois, o Clay respondeu que o problema «aparentemente foi resolvido», uma formulação invulgarmente favorável, embora expressamente provisória.

O alcance da alegação é mais limitado do que sugere grande parte da cobertura. O resultado da OpenAI diz respeito a fluidos forçados, nos quais uma força externa suave, cuidadosamente concebida, conduz um fluido inicialmente em repouso a uma singularidade num intervalo de tempo finito, isto é, a um ponto em que as equações deixam de produzir uma resposta finita. Não esclarece se um fluido comum, sem intervenção externa, pode desenvolver espontaneamente essa rutura. Esta distinção define aquilo que a empresa afirma ter demonstrado.

Por que razão a força externa é decisiva

O enunciado oficial do problema do Clay prevê quatro vias para uma solução. Duas procuram determinar se os escoamentos inicialmente regulares conservam essa propriedade; as outras duas, designadas alternativas C e D, pedem a construção de uma situação em que essa regularidade inevitavelmente desapareça. Nestas duas últimas hipóteses, o Clay permite expressamente a aplicação de uma força externa suave.

Foi esta segunda via que a OpenAI escolheu. Segundo o manuscrito, qualquer que seja o grau de viscosidade — a propriedade que faz o mel escoar lentamente e a água com facilidade —, é possível construir uma força suave capaz de conduzir um fluido inicialmente imóvel a uma singularidade, mantendo limitada a sua energia cinética total. Se a demonstração resistir ao escrutínio, cumprirá as condições estabelecidas pelo Clay.

A estratégia assenta em investigação anterior. Os matemáticos espanhóis Diego Córdoba e Luis Martínez-Zoroa, juntamente com Fan Zheng, já tinham mostrado num preprint que poderia ocorrer uma singularidade forçada numa versão enfraquecida das equações, na qual o efeito regularizador da viscosidade fora artificialmente reduzido. O avanço reivindicado pela OpenAI consiste em fazer essa abordagem funcionar nas equações completas, sem modificações.

O que o Lean verifica

O repositório em Lean 4 que acompanha o manuscrito confere à alegação uma característica pouco comum. O Lean é um assistente de demonstração: rejeita qualquer passo lógico que não decorra das definições introduzidas e das regras aceites, submetendo cada inferência à verificação de um pequeno núcleo de software considerado fiável.

Esta formalização facilita o escrutínio, quando comparada com a revisão exclusiva de uma demonstração escrita em linguagem matemática corrente. Ainda assim, o Lean verifica apenas a coerência interna: confirma que as conclusões decorrem das definições tal como foram codificadas. Determinar se essas definições reproduzem fielmente todas as condições do enunciado do Clay, redigido em linguagem natural, continua a exigir o juízo de especialistas em dinâmica de fluidos. Tanto o manuscrito como o repositório foram divulgados pela empresa, não publicados após revisão por pares, e, até 14 de setembro, não havia registo público de uma auditoria independente a todo o repositório.

A OpenAI afirma que o resultado analítico foi produzido por um sistema proprietário composto por várias instâncias de inteligência artificial a trabalhar em paralelo, tendo o seu modelo GPT-6 Astra procedido depois à formalização em Lean (OpenAI). Os números apresentados pela empresa sobre a escala e a rapidez do processo não podem ser reproduzidos de forma independente: terceiros conseguem inspecionar o resultado, mas não repetir o método que o gerou.

A Quanta Magazine noticiou que, cerca de 12 horas antes do anúncio da OpenAI, Tristan Buckmaster, da NYU, e Levent Alpöge, ligado à Anthropic, tinham divulgado resultados relacionados, também obtidos com apoio de inteligência artificial, sobre equações de fluidos próximas, recorrendo à mesma estratégia de Córdoba e Martínez-Zoroa. A convergência de dois laboratórios empresariais de inteligência artificial na via aberta por investigadores universitários mostra quanto estes resultados dependem do trabalho matemático anterior.

O que acontece agora

As regras do prémio exigem a publicação numa revista científica qualificada, com revisão por pares, pelo menos dois anos de escrutínio pela comunidade e o reconhecimento de uma aceitação geral antes de uma comissão especial sequer começar a deliberar. Não foi identificada qualquer submissão do manuscrito da OpenAI a uma revista científica.

Se a revisão independente confirmar a demonstração, ficará estabelecido que as equações de Navier-Stokes tridimensionais, na sua forma habitual e sujeitas a uma força externa suave, podem desenvolver uma singularidade num intervalo de tempo finito. Permanecerá em aberto o caso sem força externa: saber se um fluido entregue apenas à sua própria dinâmica pode atingir espontaneamente esse ponto de rutura. Uma das duas vertentes de um problema com quase dois séculos ficará resolvida; a outra continuará sem resposta.