---
title: "OpenAI anuncia solução para o problema de Navier-Stokes"
url: https://dailyjournal.news/news/2026-09-08/modelo-de-ia-da-openai-propoe-solucao-para-problema-de-navier-stokes
published: 2026-09-08T18:15:26.637843+00:00
updated: 2026-09-08T18:33:19.858+00:00
categories: ["technology"]
topics: ["openai"]
source_count: 2
outlet_count: 1
language: pt-BR
publisher: "Daily Journal"
---

# OpenAI anuncia solução para o problema de Navier-Stokes

A OpenAI divulgou uma solução gerada por inteligência artificial para o Problema do Prêmio do Milênio de Navier–Stokes, acompanhada de prova formal.

## Pontos principais

- O cofundador da OpenAI, Greg Brockman, anunciou que um modelo de IA desenvolveu uma solução para o problema de Navier-Stokes.
- O material inclui um relatório detalhado e uma prova formal desenvolvida na linguagem Lean.
- O problema de Navier-Stokes é um dos sete Problemas do Milênio da matemática, focando em equações diferenciais parciais não lineares.

A OpenAI anunciou o desenvolvimento de uma solução para o problema de Navier-Stokes, um dos sete Problemas do Milênio da matemática. O anúncio, feito pelo cofundador Greg Brockman, destaca que a solução foi gerada por um modelo de inteligência artificial. A empresa disponibilizou um relatório técnico detalhado e uma prova formal construída na linguagem Lean, visando auxiliar a comunidade científica na compreensão de equações diferenciais parciais não lineares fundamentais para a modelagem de fenômenos físicos.

## Fontes

- [On the Navier–Stokes Millennium Prize Problem](https://openai.com/index/navier-stokes-solution) — OpenAI (2026-09-08)
- [@gdb: Announcing a solution to the Navier-Stokes problem, one of the seven Millenium Prize problem.](https://x.com/gdb/status/2097377042152972398) (2026-09-08)

## Tópicos relacionados

- [OpenAI](https://dailyjournal.news/topics/openai)

---

Publicado por Daily Journal. Versão HTML: https://dailyjournal.news/news/2026-09-08/modelo-de-ia-da-openai-propoe-solucao-para-problema-de-navier-stokes