Um problema com um século de existência resolvido em 88 horas
As equações de Navier-Stokes modelam o movimento dos fluidos, servindo de base para tudo, desde correntes oceânicas até ao fluxo de ar sobre uma asa. Durante quase um século, os matemáticos debateram-se com o seu comportamento fundamental, especificamente a existência e a suavidade das soluções — um Millennium Prize Problem de 1 milhão de dólares que iludiu a humanidade durante 90 anos.
Recentemente, a OpenAI anunciou um avanço monumental. Um modelo de IA interno e não lançado abordou as equações de Navier-Stokes com uma escala sem precedentes. Este esforço colossal envolveu 10.000 agentes de IA simultâneos, trabalhando durante 88 horas seguidas.
Apenas os recursos computacionais tiveram um custo estimado de 10 milhões de dólares, culminando numa prova densa de 165 páginas. O GPT-6 Astra verificou formalmente esta extensa prova em mais 17 horas, confirmando o rigor da solução.
A descoberta da IA centrou-se numa singularidade de tempo finito, um fenómeno anteriormente não comprovado onde a velocidade do fluido pode tornar-se infinita num período de tempo finito. Esta perceção derruba suposições de longa data sobre o comportamento dos fluidos e promete revolucionar diversos campos, desde uma engenharia aeroespacial muito mais eficiente até uma previsão meteorológica muito mais precisa.
Conheça o modelo que faz o GPT-6 parecer antigo
A revelação bombástica da OpenAI surgiu com a solução de Navier-Stokes: o avanço teve origem num modelo interno não lançado. Este sistema é "significativamente mais capaz" do que o GPT-6 Astra, um modelo que tinha sido lançado apenas quatro dias antes. O anúncio de 8 de setembro de 2026 tornou efetivamente o lançamento de ponta da OpenAI de 4 de setembro obsoleto num piscar de olhos.
O Astra representou, por si só, uma conquista monumental, aclamado como o "modelo mais inteligente e alinhado" da OpenAI até à data. Introduziu uma nova técnica de raciocínio de "profundidade recorrente", permitindo um desempenho de ponta em benchmarks exigentes como o FrontierMath. O Astra demonstrou uma proficiência sem precedentes como "operador de computador", dominando tarefas complexas em áreas desde a engenharia de software até à cibersegurança e investigação científica.
Esta rápida obsolescência sublinha a velocidade impressionante da IA. O sucessor sem nome, já "significativamente mais capaz", permanece ativamente em treino. Isto significa que o abismo de desempenho entre ele e o Astra não é estático; aumenta diariamente, expandindo os limites das capacidades da IA a um ritmo sem precedentes.
Génio, controvérsia e verificação por IA
A controvérsia surgiu rapidamente em torno do anúncio da OpenAI. O matemático Tristan Buckmaster, da NYU, afirmou que a OpenAI apressou a sua declaração pública após descobrir o progresso significativo da sua equipa no problema de Navier-Stokes, alegadamente tirando partido das ferramentas de desenvolvimento da própria OpenAI. Isto levantou questões diretas sobre o acesso a dados e a concorrência ética em atividades científicas de alto risco.
A OpenAI respondeu negando o acesso direto a dados específicos dos utilizadores para obter vantagem competitiva neste caso particular. Esclareceram que os dados agregados e desidentificados dos utilizadores contribuem para melhorias generalizadas dos modelos em todas as suas plataformas, uma prática comum na indústria. Esta distinção visa separar os projetos individuais dos utilizadores das melhorias mais amplas do sistema.
Para além da disputa, o próprio processo de verificação marcou uma profunda mudança de paradigma. O modelo avançado e sem nome produziu a prova abrangente de 165 páginas para o problema de existência e suavidade de Navier-Stokes, que o GPT-6 Astra então verificou formalmente quanto à correção em apenas 17 horas através de um novo AI-to-AI workflow. Esta validação rápida e automatizada anuncia uma nova era para a verificação matemática complexa, conforme detalhado por relatórios como OpenAI claims it solved elusive math problem with a $1 million prize - The Washington Post.
Gostando do artigo? Receba um assim na sua caixa de entrada toda manhã.
um e-mail por dia · cancele em dois cliques · sem rastreadores de terceiros
A ciência já não é um jogo exclusivo dos humanos
Este avanço transcende a resolução de um único Millennium Prize Problem. A conquista da OpenAI sinaliza uma profunda mudança de paradigma: a IA agora funciona não apenas como um assistente de pesquisa, mas como um primary discovery engine. Durante 88 horas, 10.000 agentes de IA simultâneos trabalharam, gerando 130 mil milhões de tokens para derivar a prova de 165 páginas, um testemunho da sua capacidade autónoma de resolução de problemas.
As equações de Navier-Stokes, outrora um desafio matemático abstrato, sustentam a própria estrutura da dinâmica de fluidos. A sua solução desbloqueia avanços tangíveis em inúmeros campos, desde a conceção de
- aviões
- carros
- e até a criação de melhores medicamentos através da modelação do fluxo sanguíneo com uma precisão sem precedentes.
Esta rápida evolução deixa até os observadores mais experientes atordoados. Matthew Berman, refletindo sobre o ritmo, articulou um sentimento que muitos partilham: "Ainda estou a recuperar do Astra." A sua declaração sublinha como o progresso exponencial da IA, exemplificado por um sistema "significativamente mais capaz" do que o GPT-6 Astra que surgiu apenas quatro dias após o lançamento do Astra, redefine continuamente os limites do possível, superando a compreensão humana.
Perguntas Frequentes
Que problema matemático a IA da OpenAI resolveu?
O modelo de IA interno da OpenAI resolveu o problema de existência e suavidade de Navier-Stokes, um dos sete Millennium Prize Problems, que permaneceu sem solução durante quase um século.
O que é o GPT-6 Astra?
O GPT-6 Astra é o mais recente modelo emblemático da OpenAI anunciado publicamente, lançado em setembro de 2026. Foi concebido para tarefas complexas como engenharia de software e análise científica e foi utilizado para verificar formalmente a prova matemática.
O novo modelo de resolução de problemas da OpenAI está disponível ao público?
Não. O modelo que resolveu o problema de Navier-Stokes é um modelo interno, não lançado, que a OpenAI afirmou ser 'significativamente mais capaz' do que o GPT-6 Astra e que ainda está em fase de treino.
A OpenAI reivindicou o prémio de 1 milhão de dólares por resolver o problema?
Não. Apesar de ter resolvido um dos Millennium Prize Problems do Clay Mathematics Institute, a OpenAI declarou que não pretende reivindicar o prémio de 1 milhão de dólares.