Rumors that OpenAI’s “Navier-Stokes” solution stole the work of two mathematicians may have been overblown