Do smooth, globally defined solutions to the three dimensional Navier-Stokes equations always exist, or can a solution break down in finite time?

As the Clay Mathematics Institute's own official problem statement puts it, standard methods from partial differential equations appear inadequate, and whether solutions even exist in general was, at the time of writing, unknown.