What's going on with OpenAI and the Navier-Stokes controversy?

What's going on with OpenAI and the Navier-Stokes controversy?
Artificial intelligence has solved a major mathematics problem, but credit for the accomplishment is murky.