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.
||
08/09 às 15:15 · atualizado 15:33
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.
Tópicos relacionados
Comentários
Carregando comentários...
