Modelo da OpenAI propõe solução para o problema do milênio de Navier–Stokes
A OpenAI disse em 8 de setembro de 2026 que um sistema interno mais capaz que o GPT-6 Astra produziu uma solução para o Problema do Prêmio do Milênio sobre existência e suavidade de Navier–Stokes: um fluido inicialmente suave e em repouso pode desenvolver uma singularidade em tempo finito sob uma força suave, enquanto a energia permanece finita, estabelecendo os enunciados C e D do Clay. A empresa publicou um texto explicativo e uma formalização em Lean verificada com o GPT-6 Astra, após cerca de 88 horas de busca multiagente e 17 horas de formalização, e diz que não pretende reivindicar o Prêmio do Milênio. A OpenAI cita o trabalho simultâneo de Levent Alpöge e Tristan Buckmaster sobre o Euler forçado, reconhece a prioridade deles nesse resultado e apresenta a divulgação como evidência do ritmo da pesquisa em IA, e não como lançamento de produto.
Traduzido com ajuda de IA.