Millennium Problems

Millenium Problems are a set of problems that have never been solved. The seven that now exist are the Riemann Hypothesis, P versus NP, the Hodge conjecture, the Poincaré conjecture, Yang–Mills existence and mass gap and Navier–Stokes existence and smoothness. The Poincaré conjecture was proved in 2002 and was verified in 2006.