OpenAI publica proposta de solução assistida por IA para o problema de Navier-Stokes

A OpenAI divulgou uma proposta de solução gerada por inteligência artificial para o problema de Navier-Stokes, um dos desafios matemáticos do Prêmio Millennium. O estudo divulgado apresenta a formulação teórica completa acompanhada por uma prova formal desenvolvida na linguagem Lean, permitindo verificação automatizada dos passos lógicos adotados no equacionamento. As equações de Navier-Stokes modelam a mecânica de fluidos e desafiam matemáticos e físicos há séculos com a questão da existência e suavidade de soluções em três dimensões. A apresentação do trabalho ilustra o avanço de sistemas autônomos de raciocínio na assistência à pesquisa matemática de fronteira.