What Are The 7 Millennium Problems And Their Official Statements?

I tend to explain these in quick, chatty bursts when friends ask, so here’s a compact run-through of the seven Millennium problems in plain terms.

P vs NP: Is every problem whose solution can be checked quickly also solvable quickly? Riemann Hypothesis: All nontrivial zeros of ζ(s) lie on the critical line Re(s)=1/2. Yang–Mills and mass gap: Show a rigorous quantum Yang–Mills theory exists on R^4 with a positive mass gap. Navier–Stokes: For 3D incompressible flow, either prove smooth global solutions exist for smooth initial data or find a counterexample (finite-time blow-up). Birch and Swinnerton-Dyer: For elliptic curves over Q, the rank equals the order of vanishing of L(E,s) at s=1, with a formula relating the leading coefficient to arithmetic invariants. Hodge conjecture: Rational (p,p)-cohomology classes on a smooth projective complex variety come from algebraic cycles. Poincaré conjecture: Every closed simply-connected 3-manifold is S^3 — proved by Perelman.

Each of these is a deep doorway into its field: computational complexity, analytic number theory, mathematical physics, PDEs, arithmetic geometry, algebraic geometry, and topology respectively. Bring snacks, because understanding one fully is like finishing a long manga arc.

I don’t talk about these like a textbook; I often sketch them on napkins in cafes and argue with friends about which one will fall first. The Poincaré conjecture is a good opener because it’s the only one already settled: any closed, simply connected 3-manifold is homeomorphic to the 3-sphere S^3 — Perelman gave the proof using Ricci flow with surgery.

The others remain open and are stated fairly precisely by the Clay institute. For P versus NP the formal question is whether P = NP, i.e., whether nondeterministic polynomial-time decidability collapses to deterministic polynomial-time. The Riemann Hypothesis asserts every nontrivial zero of the Riemann zeta function ζ(s) has real part 1/2. Yang–Mills existence and mass gap asks for a rigorous construction of quantum Yang–Mills on R^4 with a strictly positive mass gap. Navier–Stokes existence and smoothness asks, in 3D incompressible flow, whether smooth initial data always yields globally smooth solutions or whether singularities can form in finite time. Birch and Swinnerton-Dyer links the rank of an elliptic curve over Q to the order of vanishing of its L-function at s = 1 and predicts a precise relation involving regulators and arithmetic terms. The Hodge conjecture says each rational cohomology class of type (p,p) on a smooth projective complex variety is a rational combination of algebraic cycle classes.

If you’re into one of these fields, reading the original Clay statements and subsequent expositions is a fun way to see how concise formal statements can hide spectacular depth.

I like to keep things short and practical when explaining these to people at study groups. Here are the seven problems in nutshell form:

P vs NP: Decide if P = NP (can every quickly checkable solution be found quickly?).
Riemann Hypothesis: Show all nontrivial zeros of ζ(s) lie on the line Re(s)=1/2.
Yang–Mills and mass gap: Establish a rigorous quantum Yang–Mills theory on R^4 and prove a positive mass gap exists.
Navier–Stokes: For 3D incompressible flows, prove global existence and smoothness for smooth initial data, or find a finite-time blow-up.
Birch and Swinnerton-Dyer: For elliptic curves over Q, the rank equals the order of vanishing of L(E,s) at s=1, with a precise relation to arithmetic invariants.
Hodge conjecture: Rational (p,p)-cohomology classes on smooth projective complex varieties come from algebraic cycles.
Poincaré conjecture: Every closed simply-connected 3-manifold is S^3 (proved by Perelman).

Each statement is compact but hides layers — they’re invitations to whole research careers, really.

Whenever I fall into a late-night thread about famous unsolved problems, I get this delicious mix of awe and impatience — like, why haven't these been cracked yet? Here’s a clear, slightly nerdy tour of the seven Millennium Prize Problems with the official flavors of their statements.

1) P versus NP: Determine whether P = NP. Formally, decide whether every decision problem whose solutions can be verified in polynomial time by a deterministic Turing machine can also be solved in polynomial time by a deterministic Turing machine (i.e., whether P = NP or P ≠ NP).

2) Riemann Hypothesis: Prove that all nontrivial zeros of the Riemann zeta function ζ(s) have real part 1/2.

3) Yang–Mills existence and mass gap: Prove that for quantum Yang–Mills theory on R^4 with a compact simple gauge group there exists a non-trivial quantum theory and that this theory has a positive mass gap Δ > 0 (i.e., the least energy above the vacuum is bounded away from zero).

4) Navier–Stokes existence and smoothness: For the 3D incompressible Navier–Stokes equations with smooth initial velocity fields, prove or give a counterexample to global existence and smoothness of solutions — in other words, either show solutions remain smooth for all time or exhibit finite-time singularities under the stated conditions.

5) Birch and Swinnerton-Dyer conjecture: For an elliptic curve E over Q, relate the rank of the group of rational points E(Q) to the behavior of its L-function L(E,s) at s = 1; specifically, conjecture that the order of vanishing of L(E,s) at s = 1 equals the rank of E(Q), and that the leading coefficient encodes arithmetic invariants (regulator, torsion, Tamagawa numbers, and the Tate–Shafarevich group).

6) Hodge conjecture: For any non-singular projective complex variety X, every rational cohomology class of type (p,p) in H^{2p}(X,Q) is a rational linear combination of classes of algebraic cycles of codimension p.

7) Poincaré conjecture: Every closed, simply connected 3-manifold is homeomorphic to the 3-Sphere S^3. (Notably this one was proved by Grigori Perelman in the early 2000s.)

I like to picture this list like a mixtape of math: some tracks are pure number theory, others are geometric or analytic, and a few are screaming for physical intuition. If you want any one unpacked more — say, what the mass gap means physically or how L-functions tie into ranks — I’d happily nerd out over coffee and too many metaphors.