Instituto Clay diz que Navier-Stokes foi resolvido, agora com selo oficial

Quatro meses depois de a OpenAI ter aparecido em palco a dizer que tinha uma prova para Navier-Stokes, o árbitro que realmente conta falou. O Clay Mathematics Institute afirma agora que o problema de Navier-Stokes foi “aparentemente” resolvido. Para quem chegou tarde: estamos a falar de um dos sete Millennium Prize Problems, anunciados em Paris em 2000, cada um com um prémio de 1 milhão de dólares, e não de um puzzle de fim-de-semana.

Navier-Stokes é o conjunto de equações que descreve o movimento de fluidos em três dimensões. Água, ar, turbulência, tudo o que voa ou flui. A pergunta matemática é fria e simples: estas equações têm sempre soluções suaves e bem comportadas, ou há situações em que tudo explode em singularidades? Resolver isto é mais do que ganhar um cheque gordo. É mexer na base da física computacional, da meteorologia à aerodinâmica. E é por isso que ver uma empresa de IA a anunciar uma prova levantou sobrancelhas em meio mundo académico.

No comunicado, o Clay diz que o problema “foi aparentemente resolvido” e fala em “ondas de novo entendimento humano” quando as ideias forem analisadas. Traduzido: há um candidato sério em cima da mesa, mas ninguém passa o cheque tão cedo. A solução entra agora num processo de revisão deliberadamente lento, com regras próprias, que o instituto descreve como “desenfreadamente não apressado”. Depois do marketing de palco da OpenAI, esta diferença de ritmo é quase pedagógica. O Clay lembra ainda que as novas tecnologias estão a acelerar a investigação matemática, uma referência discreta à IA, mas sem coroar ninguém.

Este anúncio não vive no vácuo. O problema de Navier-Stokes já vinha embrulhado numa guerra de bastidores entre matemáticos e laboratórios de IA. O matemático Tristan Buckmaster acusou a OpenAI de redireccionar recursos para o problema depois de rumores sobre o seu trabalho terem circulado, de usar rascunhos seus como dados de treino, e de tentar apagar da autoria o co-autor Levent Alpöge, que por acaso trabalha na rival Anthropic. Já tínhamos detalhado essa história em OpenAI diz ter resolvido Navier-Stokes. A polémica começou logo, e o anúncio do Clay só sublinha que isto não é apenas matemática, é política de poder intelectual.

O que muda hoje? Nada de imediato no teu dia a dia, mas bastante na forma como olhamos para a relação entre IA e ciência pura. Se a prova que está agora nas mãos do Clay for independente do trabalho interno da OpenAI, o laboratório fica encostado às cordas em termos de crédito científico. Se estiver ligada, vai ser preciso destrinçar até que ponto a IA foi ferramenta ou autora. Em qualquer dos cenários, o Clay impõe aqui um padrão: antes de proclamarmos que uma rede neuronal partiu um problema centenário, há uma comunidade inteira que tem de passar a limpo cada linha.

Quando a poeira assentar, o que ficar não será o vídeo da keynote, será o PDF aceito pelo Clay. Se a prova sobreviver à revisão, o impacto técnico será enorme, com ou sem IA no título. Por agora, o mais interessante na história de Navier-Stokes não é a velocidade com que a IA gera conjecturas, é a lentidão deliberada com que a matemática séria ainda decide quem merece entrar nos livros.

Fonte: The Decoder