Navier-Stokes

Verificação em Lean sustenta nova proposta para as equações de Navier-Stokes

A OpenAI apresentou uma construção matemática que pode gerar singularidades em três dimensões, mas o resultado ainda será analisado por especialistas.