OpenAI says AI solved Navier-Stokes. The proof looks serious, but the bigger test is whether a closed model can prove where its ideas came from.