# OpenAI divulga rascunho de 166 páginas; matemáticos questionam

> Em setembro, a OpenAI compartilhou um rascunho de verificação formal de uma solução para as equações de Navier-Stokes, mas especialistas dizem que ele diverge da abordagem alegada e que sua contribuição não está clara.

Oossa · 2026-10-17 · https://oossa.com/pt/openai-releases-166-page-navier-stokes-draft-mathematicians-raise-doubts

No início de setembro de 2026, a OpenAI publicou um rascunho de 166 páginas que, segundo a empresa, poderia resolver o problema de Navier-Stokes, um dos sete Problemas do Milênio do Clay Mathematics Institute, cada um com prêmio de um milhão de dólares. O texto foi escrito em Lean, uma linguagem de verificação formal que confere automaticamente cada etapa lógica. A OpenAI afirmou que a demonstração seguia o método dos matemáticos espanhóis Diego Córdoba e Luis Martínez-Zoroa.

## Matemáticos apontam divergências

Vários matemáticos, entre eles Gonzalo Cao-Labor, da EPFL, analisaram o rascunho e afirmam que o raciocínio não corresponde à abordagem de Córdoba e Martínez-Zoroa. Segundo eles, as semelhanças são apenas superficiais. O Clay Mathematics Institute analisa o rascunho desde que ele foi divulgado.

## Computação em larga escala, impacto incerto

A OpenAI executou cerca de 10.000 instâncias de modelos por aproximadamente 88 horas, processando 130 bilhões de tokens para gerar o rascunho. O pesquisador Noam Brown estima que menos de 10% do resultado pode ser atribuído ao sistema multiagente, o que sugere que a maior parte do trabalho veio do próprio modelo-base. O papel exato do conjunto de agentes continua desconhecido, pois não foram realizados testes sistemáticos nessa escala.

## Novas divulgações geram críticas

No início de outubro, a OpenAI acrescentou cerca de 400 resultados gerados por IA a uma coleção pouco organizada no GitHub, o que, segundo muitos matemáticos, banalizou a área. O ritmo acelerado de publicações deixou a comunidade matemática com dificuldade para acompanhar.

## Os fatos

- A OpenAI divulgou, no início de setembro de 2026, um rascunho de 166 páginas de uma possível solução para o problema de Navier-Stokes.
- O rascunho foi escrito em Lean, uma linguagem de verificação formal que confere automaticamente as etapas lógicas.
- A OpenAI usou cerca de 10.000 instâncias de modelos por 88 horas, gerando 130 bilhões de tokens.
- O pesquisador Noam Brown afirma que menos de 10% do êxito do rascunho se deve ao sistema multiagente.
- No início de outubro de 2026, a OpenAI publicou cerca de 400 resultados adicionais gerados por IA no GitHub.

## Por que importa

Para o leitor comum, o episódio mostra que mesmo recursos gigantescos de IA podem produzir resultados que especialistas ainda contestam. Também evidencia que demonstrações matemáticas geradas por IA ainda não são um atalho para a verificação humana — e que o problema que vale o prêmio continua sem solução.

## Fontes e referências

1. [Mathematicians say OpenAI doesn't understand its own Navier-Stokes proof](https://the-decoder.com/mathematicians-say-openai-doesnt-understand-its-own-navier-stokes-proof/) – The Decoder, 2026-10-17

Última atualização: 2026-10-17