Navier-Stokes: a IA resolveu um dos maiores problemas da Matemática?

Fala, pessoal! Tudo certo? Nos últimos dias, muita gente me mandou a notícia de que a OpenAI teria encontrado uma solução associada a um dos famosos Problemas do Milênio do Clay Mathematics Institute: justamente aquele envolvendo as equações que tenho tatuadas no braço, as equações de Navier-Stokes. Então resolvi gravar este vídeo para tentar entender o que, de fato, foi anunciado. Porque o Problema do Milênio NÃO é sobre “resolver as equações de Navier-Stokes”. A questão é muito mais fundamental: será que, partindo de condições suficientemente suaves, essas equações podem produzir uma singularidade em tempo finito? 🔍 Para organizar a conversa, tento responder cinco perguntas: ✔ O que são as equações de Navier-Stokes? ✔ Qual é a pergunta associada ao Problema do Milênio? ✔ Por que esse problema é tão complicado? ✔ O que a OpenAI afirma ter encontrado? ✔ Quais podem ser as implicações desse anúncio para a comunidade científica? No caminho, falamos sobre vorticidade, tridimensionalidade, estiramento de vórtices, viscosidade, equações de Euler e formação de singularidades. 🤖 E terminamos ampliando um pouco a discussão: o que significa utilizar modelos de IA não apenas para fazer cálculos, mas para explorar argumentos, demonstrações e novos caminhos dentro da própria linguagem da matemática? Importante: o resultado anunciado pela OpenAI ainda precisa ser analisado e validado pela comunidade matemática. Neste vídeo, discutimos o anúncio e suas possíveis implicações. 🌪️ Fundamentos de CFD com Aplicações em OpenFOAM — novidades para 2027 Estamos estudando a possibilidade de realizar, no primeiro semestre de 2027, a primeira turma do curso Fundamentos de CFD com Aplicações em OpenFOAM, oferecido pela L2C. A proposta é conectar os fundamentos da Fluidodinâmica Computacional à aplicação prática no OpenFOAM. 📝 Tem interesse em participar da primeira turma? Preencha o formulário: https://forms.gle/5y3C7gacRLMZZcoN8 Mais informações: www.l2c.dev.br/lp2 🚀 Conheça a L2C A L2C – Soluções em Computação Científica desenvolve iniciativas nas áreas de Computação Científica, Métodos Numéricos, Mecânica dos Fluidos, CFD, OpenFOAM e Simulação Computacional. 🌐 Conheça nossos cursos, materiais e demais iniciativas: www.l2c.dev.br Se curtiu a discussão, inscreva-se no Ciência e Brisa e compartilhe o vídeo! Nos vemos na próxima! 🌊 Prof. Rafael Gabler Gontijo (www.rafaelgabler.com.br) Ciência e Brisa L2C – Soluções em Computação Científica