Navier-Stokes: OpenAI propõe solução para desafio de $1M
A prova ainda precisa de anos de análise, mas a metodologia é a história maior: enxames de agentes a comprimir 90 anos de matemática aberta em dias, enquanto treinados com os investigadores que poderão ultrapassar.