Navier–Stokes: a prova, a corrida e o que ainda não foi resolvido
A OpenAI diz ter encontrado uma prova para a versão forçada de Navier–Stokes com 10 mil agentes. O resultado é importante, mas a matemática ainda precisa de revisão independente e a história envolve uma disputa séria sobre dados, prioridade e autoria.