1. Resumo
As equações de Navier-Stokes descrevem como um fluido se move. A pergunta de um milhão de dólares do Clay Mathematics Institute é se um fluido que começa liso pode, sozinho, virar infinito em algum ponto. Em 8 de setembro a OpenAI anunciou que um sistema interno construiu uma prova de que isso acontece: um vórtice que gira para dentro cada vez mais rápido até estourar em tempo finito, com energia finita do começo ao fim.
O detalhe que muda tudo está na letra miúda. A construção precisa de forçamento externo aplicado continuamente, o que atinge as afirmações C e D do enunciado do Clay, não as A e B. Ou seja: o Problema do Milênio continua aberto. Não houve revisão por pares nem chancela do Clay, e a comunidade matemática mal começou a ler o que foi publicado.
2. Mídia
3. Destaques
- A OpenAI afirma ter provado blow-up em tempo finito para Navier-Stokes incompressível em três dimensões, com forçamento suave aplicado o tempo todo.
- Isso não resolve o Problema do Milênio. O caso sem forçamento externo, que é o que vale o prêmio, segue em aberto.
- A busca usou cerca de 10 mil agentes em paralelo por aproximadamente 88 horas e consumiu perto de 130 bilhões de tokens. O modelo é interno e não lançado; o GPT-6 Astra entrou depois, para formalizar a prova em Lean.
- Há disputa de prioridade. Tristan Buckmaster, do Courant Institute da NYU, e Levent Alpöge, da Anthropic, trabalhavam em variantes do problema usando Claude e Codex, e Buckmaster recusou a proposta de publicação conjunta.
- Terence Tao alertou antes do anúncio que uma solução sem entendimento estrutural profundo não carrega importância intrínseca, e que se o processo de busca continuar sendo caixa-preta o valor dela para a matemática fica perto de zero.
4. Ficha Técnica
Expandir ficha técnica
- Anúncio: OpenAI, 8 de setembro de 2026. A prova foi concluída em 5 de setembro
- Autoria assinada: OpenAI, sem pesquisadores nomeados no documento
- Modelo: sistema interno não lançado, descrito como bem mais capaz que o GPT-6 Astra; o Astra foi usado na formalização em Lean
- Escala da busca: cerca de 10 mil agentes em paralelo, aproximadamente 88 horas, perto de 130 bilhões de tokens
- Trabalho concorrente: Tristan Buckmaster (Courant Institute, NYU) e Levent Alpöge (Anthropic), sobre Euler forçado e Navier-Stokes hipodissipativo
- Status: sem revisão por pares e sem reconhecimento do Clay Mathematics Institute
- Vídeo: visualização independente do canal Complexity, não é material oficial da OpenAI
