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

OpenAI announced today that it had solved the problem, one of seven “Millennium Problems” seen as among the most important in higher mathematics.