Investigação
OpenAI formaliza em Lean a sua proposta para Navier–Stokes, mas a validação continua em aberto
A OpenAI apresentou uma solução proposta para o Problema do Milénio de Navier–Stokes com uma prova Lean, ainda dependente de escrutínio matemático independente.