One of the other millennium problems is counting to 7.

Not really. There's a non-pedantic, charitable interpretation widely available. It's below for reference.

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