OpenAI apresenta prova de Navier-Stokes gerada por 10 mil agentes
Publicado 09 de set. de 2026 · Leitura 2 min de leitura · Relevância 10.0
Uma prova de 166 páginas e sua formalização em Lean constroem uma singularidade com força suave; o Clay ainda classifica o problema como não resolvido.
Se a prova sobreviver à revisão, o marco não é só matemático: mostra que coordenação massiva de agentes, formalização e computação de alto custo podem atacar problemas abertos, enquanto expõe lacunas de autoria, procedência e validação.
A OpenAI publicou uma prova analítica de 166 páginas para uma das formulações do problema de existência e suavidade de Navier-Stokes em três dimensões. A construção parte de um fluido em repouso, aplica uma força suave e compactamente suportada e produz velocidade não limitada em tempo finito, mantendo a energia cinética limitada. A empresa também liberou uma formalização em Lean.
Segundo a documentação do projeto, cerca de 10 mil agentes chegaram à construção em 88 horas e o GPT-6 Astra gastou mais 17 horas na formalização. Só a etapa de Navier-Stokes consumiu aproximadamente 130 bilhões de tokens de saída. Esses números descrevem um experimento interno caro, com um modelo que ainda não está disponível ao público.
O resultado não deve ser tratado como prêmio concedido ou consenso encerrado. O Clay Mathematics Institute ainda marca o problema como não resolvido. O Lean verifica a proposição formal codificada, mas matemáticos ainda precisam confirmar que ela corresponde exatamente à formulação do prêmio e revisar o argumento analítico completo.
Há também uma disputa de prioridade e procedência. Tristan Buckmaster e Levent Alpöge divulgaram resultados relacionados para Euler; Buckmaster afirmou não saber se dados de suas sessões foram usados e não acusou diretamente a OpenAI. A OpenAI diz que nenhum dado específico de usuário foi consultado, mas não descarta que dados desidentificados de uso tenham contribuído para treinar o modelo.
Acompanhar a revisão humana da equivalência entre a formulação Lean e o problema do Clay, eventuais correções na prova de 166 páginas, a posição formal do Clay, a documentação de procedência e o acesso ao modelo interno.