A OpenAI publicou um trabalho no qual afirma ter produzido uma solução para o problema de existência e suavidade de Navier–Stokes, uma das questões do Prêmio do Milênio. O resultado sustenta que um fluido inicialmente suave pode desenvolver uma singularidade em tempo finito sob determinadas condições.
A empresa disponibilizou um texto técnico e uma formalização da prova em Lean, linguagem usada para verificação matemática. Por se tratar de uma alegação científica de grande impacto, a validação independente pela comunidade matemática é parte essencial do processo. O caso também mostra como sistemas de IA, ferramentas formais e pesquisadores humanos começam a se combinar em investigações avançadas.
Fonte: OpenAI — Navier–Stokes Millennium Prize Problem
