> Navier-Stokes is one of six “Millennium Problems” on a list compiled by the Clay Mathematics Institute in 2000.

Seven, not six. One is solved already, but is still a millennium problem.