OpenAI publica solução de IA para problema Navier-Stokes

A OpenAI publicou o que afirma ser uma solução gerada por IA para o Problema do Milênio de Navier-Stokes, uma das questões não resolvidas mais famosas em física e matemática. O problema, que trata do comportamento de fluxos de fluidos, desafia pesquisadores há décadas e oferece um prêmio de US$ 1 milhão do Clay Mathematics Institute para uma solução correta. O anúncio inclui um relatório técnico detalhado e uma prova formal verificada usando o assistente de provas Lean, uma ferramenta que confere o raciocínio matemático passo a passo. Segundo a OpenAI, a solução foi desenvolvida por um modelo de IA projetado para explorar espaços matemáticos complexos e gerar provas candidatas. Se confirmada, seria uma conquista histórica para a inteligência artificial na descoberta científica. Isso demonstraria que a IA pode não apenas auxiliar pesquisadores humanos, mas também resolver de forma independente problemas que resistiram a abordagens tradicionais. O uso do Lean adiciona uma camada de rigor, já que a prova foi verificada mecanicamente, reduzindo o risco de erro humano. No entanto, a alegação já gerou controvérsia. Vários acadêmicos levantaram questões sobre os métodos usados, a interpretação do enunciado do problema e se a prova realmente aborda todos os aspectos do desafio original. Alguns pediram verificação independente, enquanto outros expressaram ceticismo sobre a validade do resultado. O problema de Navier-Stokes pergunta se soluções sempre existem e são suaves sob certas condições, uma questão com profundas implicações para dinâmica de fluidos e engenharia. Uma solução verificada não apenas encerraria um debate centenário, mas também abriria novos caminhos para modelagem computacional. Por enquanto, a comunidade científica está dividida. A OpenAI tornou seus materiais públicos, convidando ao escrutínio e à colaboração. Se a solução resistirá à revisão por pares, ainda não se sabe, mas a mera possibilidade marca um novo capítulo no papel da IA em pesquisa fundamental.