What Is Navier-Stokes, the ‘Millennium’ Math Problem OpenAI Claims to Have Solved?