OpenAI resolve equações de Navier-Stokes com inteligência artificial
A OpenAI utilizou IA para solucionar um dos Problemas do Milênio da matemática, com demonstração técnica publicada para revisão científica.
Pontos principais
- A equipe da OpenAI resolveu o problema da existência e suavidade das equações de Navier-Stokes.
- O feito foi alcançado em 88 horas utilizando 10 mil agentes de IA via aprendizado por reforço.
- O problema é um dos sete Problemas do Milênio, que oferece um prêmio de US$ 1 milhão pelo Clay Mathematics Institute.
- A empresa disponibilizou um artigo técnico com a demonstração em linguagem Lean para análise da comunidade acadêmica.
- Matemáticos, incluindo Terence Tao, debatem as implicações do uso de IA na compreensão da disciplina.
Mark Chen, Chief Research Officer da OpenAI, anunciou que a equipe de pesquisa da empresa resolveu as equações de Navier-Stokes, um dos sete Problemas do Milênio da matemática. A solução, que envolve a existência e suavidade das equações, foi obtida em 88 horas de processamento utilizando 10 mil agentes de IA operando via aprendizado por reforço. O feito representa um marco na aplicação de modelos computacionais para desafios científicos complexos, anteriormente considerados de difícil resolução por métodos tradicionais.
Para validar a descoberta, a OpenAI publicou um artigo técnico detalhando a demonstração em linguagem Lean, permitindo que a comunidade científica realize uma análise rigorosa do trabalho. Embora o anúncio tenha sido recebido com interesse, especialistas como o matemático Terence Tao levantaram questionamentos sobre como a automação por IA pode alterar a forma como a humanidade compreende e desenvolve a matemática pura no futuro.
