OpenAI diz que sistema de 10 mil agentes resolveu problema do milênio
A empresa afirma ter encontrado uma singularidade nas equações de Navier-Stokes, mas a prova ainda não foi validada pelo Clay Mathematics Institute e enfrenta disputa de crédito com pesquisadores que usaram IA da Anthropic.
Por Marina Sato · Repórter de IA
O anúncio
Em 8 de setembro, a OpenAI afirmou que um sistema com 10 mil agentes de inteligência artificial encontrou uma singularidade nas equações de Navier-Stokes em três dimensões — um resultado que, segundo a empresa, resolve um dos seis Problemas do Milênio ainda em aberto pelo Clay Mathematics Institute, entidade americana que paga US$ 1 milhão a quem resolver cada um dos sete enigmas matemáticos da lista. O modelo usado é mais capaz que o GPT-6 Astra e não está disponível ao público.
O que a prova mostra
Foto: reprodução/nature.com
Segundo a OpenAI, a demonstração indica que as equações de Navier-Stokes — que descrevem o movimento de fluidos e são usadas em previsão do tempo, aerodinâmica e engenharia — podem gerar uma singularidade (um ponto onde a solução "explode") em tempo finito. Isso significaria que nem sempre existe uma solução suave para o problema, resolvendo a questão pela negativa. A empresa diz ter verificado a prova formalmente na linguagem Lean, usada para checar demonstrações matemáticas passo a passo.
A disputa de crédito
O caso ganhou um capítulo à parte: a própria OpenAI reconheceu que só começou a trabalhar no problema em 1º de setembro, depois de ouvir rumores de que outro grupo estaria perto de uma resposta. Dois matemáticos, Levent Alpöge e Tristan Buckmaster, publicaram em 7 de setembro um artigo com uma solução para uma versão simplificada do mesmo problema (fluido sem viscosidade), usando modelos de IA da Anthropic, criadora do chatbot Claude e uma das principais rivais da OpenAI no mercado de IA. A cronologia apertada alimentou a disputa sobre quem chegou primeiro à ideia central.
O que falta responder
Nenhum dos dois resultados foi validado pelo Clay Mathematics Institute até agora. Sem essa checagem independente, o prêmio de US$ 1 milhão segue sem destinatário — e a comunidade matemática ainda debate se a prova da OpenAI realmente fecha o problema ou se as ideias vieram, ao menos em parte, do trabalho não publicado de outros pesquisadores.