In May 2000, the Clay Mathematics Institute announced seven of the most important unsolved problems in mathematics, each carrying a $1 million prize for a correct solution. Only one — the Poincaré Conjecture — has been solved, in 2003. Several of the remaining six (Riemann Hypothesis, P vs NP, Navier-Stokes) have their own dedicated Codex entries; this entry covers the three most technically abstract, aimed at a broad audience: the Hodge Conjecture, the Birch and Swinnerton-Dyer Conjecture, and the Yang-Mills Existence and Mass Gap problem.
In the year 2000, a private foundation called the Clay Mathematics Institute consulted with leading mathematicians worldwide to identify seven specific unsolved problems considered the most important, longstanding, and mathematically deep open questions of the era — modelled deliberately on David Hilbert's famous 1900 list of 23 problems (see the Hilbert's 23 Problems entry), which had shaped an entire century of mathematical research. Each problem carries a $1 million prize for whoever first provides a correct, peer-reviewed solution.
Riemann Hypothesis, P vs NP, and Navier-Stokes Existence and Smoothness (see their own dedicated Codex entries) can each be explained with a comparatively accessible core idea even to a general audience. The remaining three problems covered here — Hodge Conjecture, Birch and Swinnerton-Dyer Conjecture, and Yang-Mills Mass Gap — require substantially more specialised background (algebraic geometry, elliptic curves, and quantum field theory respectively) to state precisely, so this entry offers an honest, accessible flavour of each without claiming to make them fully elementary.
Despite their vastly different subject areas, all seven Millennium Problems share a common thread: each represents a question mathematicians have been unable to answer despite it being clearly, precisely stateable, and despite decades (in some cases well over a century) of dedicated effort by the finest mathematical minds available.
This conjecture concerns algebraic varieties — geometric shapes defined as the solution sets of polynomial equations (a generalisation of the conic sections and curves studied throughout classical geometry — see the Conic Sections entry — into arbitrarily many dimensions and arbitrarily complex equations). The conjecture proposes that certain "topological" building blocks of these shapes (specific cohomology classes, a tool from algebraic topology for detecting holes and other structural features) can always be built up from simpler "algebraic" building blocks (specifically, algebraic cycles — subvarieties defined by further polynomial equations). In essence: it asks whether a particular topological way of describing these shapes' structure always matches up with a more concrete, purely algebraic description — a question about how two fundamentally different mathematical languages (topology and algebraic geometry) relate to each other for this important class of spaces.
This conjecture concerns elliptic curves — curves defined by equations of the form y²=x³+ax+b, which (despite the name) are unrelated to ellipses, and instead play a central role throughout modern number theory (including, notably, in Andrew Wiles's proof of Fermat's Last Theorem — see that entry). Bryan Birch and Peter Swinnerton-Dyer, using early 1960s computer calculations, noticed a striking numerical pattern connecting the number of rational points on such a curve (points with rational-number coordinates satisfying the equation) to the behaviour of a related complex analytic function called the curve's L-function at a specific point. The conjecture proposes this observed numerical pattern always holds true, providing a deep, currently unproven bridge between the curve's algebraic structure (how many rational solutions it has) and an entirely separate analytic structure (the L-function's behaviour).
Yang-Mills theory (developed by Chen Ning Yang and Robert Mills in 1954) is the mathematical framework underlying the Standard Model of particle physics — the enormously successful theory describing three of the four known fundamental forces of nature. Physicists routinely use Yang-Mills theory with tremendous experimental success (its predictions have been confirmed to extraordinary precision), yet mathematicians have never rigorously proven that the theory is even fully mathematically well-defined (technically, "exists" as a properly constructed quantum field theory) in four-dimensional spacetime, nor rigorously proven a specific related physical prediction called the "mass gap" — that the theory's lightest physically observable particle-like excitation must have strictly positive mass, consistent with all known experimental observations. This represents a striking gap between the theory's overwhelming practical, experimental success in physics and its incomplete rigorous mathematical foundations.
The Hodge Conjecture is known to be true in several important special cases — for instance, for algebraic surfaces (2-dimensional varieties), essentially by the original Lefschetz (1,1) theorem (1924, predating Hodge's own general conjecture). It's the fully general case, across varieties of arbitrary dimension, that remains open. The conjecture sits at the heart of an entire, extremely active area of modern mathematics — algebraic geometry connecting to Hodge theory (which itself grew directly out of Hodge's foundational work on harmonic differential forms) — and its resolution would likely require substantial new unifying insight connecting these currently somewhat separate topological and algebraic perspectives.
Substantial partial progress exists: for elliptic curves with "analytic rank" 0 or 1 (a technical measure of the L-function's behaviour at the relevant point), the conjecture has been proven, largely through landmark work by Victor Kolyvagin, Benedict Gross, and Don Zagier in the late 1980s. But the fully general conjecture, covering curves of arbitrary rank, remains unproven, and the conjecture additionally carries an extremely precise, refined quantitative version (specifying an exact formula for the leading coefficient of the L-function, not merely whether the rank matches) that would carry substantial additional number-theoretic significance if fully established.
The core mathematical difficulty is that Yang-Mills theory, as actually used by physicists, is a "quantum field theory" — a mathematical framework that, despite extraordinary practical predictive success across particle physics, has never been given a fully rigorous mathematical foundation in four spacetime dimensions by mathematicians' usual exacting standards (in contrast to ordinary quantum mechanics, or to Yang-Mills theory in lower, more mathematically tractable dimensions, where rigorous constructions do exist). This gap between physicists' highly successful practical calculational methods and a fully rigorous mathematical existence proof is itself a distinctive and historically recurring feature of quantum field theory as a discipline, not unique to Yang-Mills specifically, though the mass gap problem is the most prominent formally posed instance of this broader challenge.
Unlike the Riemann Hypothesis (statable using just the zeta function and complex numbers) or P vs NP (statable in terms of ordinary computer algorithms), these three problems require substantial specialised mathematical machinery even to state precisely — a genuine barrier to broad public engagement and popularisation, despite their comparable technical importance within professional mathematics and mathematical physics. This Codex entry aims to convey the flavour and significance of each without requiring that full specialised background, while being transparent that a completely precise statement necessarily demands it.