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.