Unsolved Problems Waiting for the Next Generation

The Frontier

Mathematics is not finished. Despite centuries of progress, the landscape of unsolved problems is vast, and some of the most fundamental questions remain open.

These problems are not merely technical puzzles. They represent deep gaps in our understanding of number, shape, space, and structure. Solving any one of them would constitute a major intellectual achievement.

This post surveys some of the most important open problems in mathematics, organized by area. Some are famous; others are less well known but equally profound.

---

The Millennium Prize Problems

In 2000, the Clay Mathematics Institute identified seven problems of central importance and offered a prize of $1 million for the solution of each. As of 2026, only one has been solved.

1. The Riemann Hypothesis (Open)

The Riemann zeta function, defined for $\text{Re}(s) > 1$ by

$$\zeta(s) = \sum_{n=1}^{\infty} \frac{1}{n^s},$$

has an analytic continuation to the entire complex plane (except for a pole at $s=1$). The Riemann hypothesis states:

This is arguably the most important unsolved problem in mathematics. It has profound implications for the distribution of prime numbers and connects to analysis, number theory, mathematical physics, and random matrix theory.

David Hilbert allegedly said that if he were to awaken after sleeping for a thousand years, his first question would be whether the Riemann hypothesis had been proved.

2. The P vs NP Problem (Open)

Does every problem whose solution can be quickly verified also have a solution that can be quickly found? Formally: does $P = NP$?

This is the central problem in theoretical computer science, with implications for cryptography, optimization, and artificial intelligence. Most experts believe $P \neq NP$, but no proof exists.

3. The Birch and Swinnerton-Dyer Conjecture (Open)

For an elliptic curve $E$ over $\mathbb{Q}$, the conjecture relates the rank of the group of rational points $E(\mathbb{Q})$ to the behavior of the $L$-function $L(E, s)$ at $s = 1$.

This conjecture connects number theory, algebraic geometry, and analysis in a deep and still poorly understood way.

4. The Hodge Conjecture (Open)

On a smooth projective algebraic variety, certain cohomology classes (the "Hodge classes") should be representable as algebraic cycles. This conjecture bridges algebraic geometry and topology.

5. The Navier-Stokes Existence and Smoothness Problem (Open)

Do smooth solutions to the Navier-Stokes equations

$$\frac{\partial \mathbf{u}}{\partial t} + (\mathbf{u} \cdot \nabla)\mathbf{u} = -\nabla p + \nu \Delta \mathbf{u} + \mathbf{f}$$

in three dimensions exist for all time, or can singularities develop from smooth initial data?

This problem lies at the heart of fluid mechanics and partial differential equations.

6. The Yang-Mills Existence and Mass Gap (Open)

Prove that a quantum Yang-Mills theory exists in four-dimensional spacetime and has a positive mass gap. This would provide a rigorous mathematical foundation for a key part of the Standard Model of particle physics.

7. The Poincaré Conjecture (Solved)

The only Millennium Problem that has been solved, by Grigori Perelman in 2002–2003. He proved that every simply connected, closed three-dimensional manifold is homeomorphic to the three-sphere.

---

Number Theory

The Twin Prime Conjecture

Are there infinitely many pairs of primes $(p, p+2)$? Examples include $(3, 5)$, $(11, 13)$, $(17, 19)$, and $(41, 43)$.

In 2013, Yitang Zhang proved that there are infinitely many pairs of primes with gap at most 70 million. This bound was later reduced to 246 by the Polymath project led by James Maynard and Terence Tao. But the gap of 2 — the original twin prime conjecture — remains open.

Goldbach's Conjecture

Every even integer greater than 2 is the sum of two primes. For example, $4 = 2 + 2$, $6 = 3 + 3$, $8 = 3 + 5$, $100 = 47 + 53$.

This has been verified for all even numbers up to $4 \times 10^{18}$, but no proof is known. Harald Helfgott proved the "weak" version (every odd integer greater than 5 is the sum of three primes) in 2013.

The abc Conjecture

For coprime positive integers $a + b = c$, the conjecture states that for every $\varepsilon > 0$, there are only finitely many triples with $c > \text{rad}(abc)^{1+\varepsilon}$, where $\text{rad}(n)$ is the product of the distinct prime factors of $n$.

Shinichi Mochizuki claimed a proof in 2012 using his theory of inter-universal Teichmüller theory, but the mathematical community has not reached consensus on its correctness.

---

Topology and Geometry

The Smooth Poincaré Conjecture in Dimension 4

Is every topological four-sphere also a smooth four-sphere? Equivalently, does every exotic smooth structure on $S^4$ agree with the standard one?

This is the last remaining case of the generalized Poincaré conjecture in all dimensions.

The Classification of Smooth 4-Manifolds

Four-dimensional topology is notoriously difficult. No general classification of smooth, closed, simply connected 4-manifolds is known, in contrast to the complete classifications available in other dimensions.

---

Algebra

The Jacobian Conjecture

If a polynomial map $F : \mathbb{C}^n \to \mathbb{C}^n$ has a constant nonzero Jacobian determinant, is $F$ necessarily invertible?

This seemingly simple question has been open since 1939.

The Inverse Galois Problem

Is every finite group the Galois group of some extension of $\mathbb{Q}$? This is known for many classes of groups (abelian groups, symmetric groups, many simple groups) but not in general.

---

Analysis and Dynamics

The Kakeya Conjecture

A Kakeya set in $\mathbb{R}^n$ is a compact set containing a unit line segment in every direction. The conjecture states that every Kakeya set in $\mathbb{R}^n$ has Hausdorff dimension $n$.

This is known for $n = 2$ but open for $n \geq 3$. Recent progress by Hong Wang and Joshua Zahl has made advances in higher dimensions.

The Collatz Conjecture

Start with any positive integer $n$. If $n$ is even, divide by 2. If $n$ is odd, compute $3n + 1$. Repeat. The conjecture states that this process always eventually reaches 1.

This problem is elementary to state but extraordinarily difficult. Paul Erdős said:

---

Combinatorics

The Hadwiger Conjecture

For every graph $G$ that is not $(k-1)$-colorable, the complete graph $K_k$ is a minor of $G$.

This has been called "one of the deepest unsolved problems in graph theory" by Bollobás. It is known for $k \leq 6$ but open for $k \geq 7$.

The Union-Closed Sets Conjecture (Frankl's Conjecture)

If a finite family of finite sets is closed under union, then some element belongs to at least half the sets in the family.

This elegantly simple conjecture has resisted proof since 1979. Significant progress was made by Justin Gilmer in 2022, proving a constant-fraction version.

---

Mathematical Physics

The Mass Gap Hypothesis

Beyond the Yang-Mills Millennium Problem, proving the existence of a mass gap in realistic quantum field theories is a major open challenge that would connect rigorous mathematics with experimental physics.

Quantum Gravity

The mathematical formulation of a consistent theory of quantum gravity remains one of the grand challenges at the intersection of mathematics and physics.

---

Why These Problems Matter

Unsolved problems are not just intellectual curiosities. They drive the development of new mathematics.

• Fermat's Last Theorem led to the development of algebraic number theory and modular forms.
• The Poincaré conjecture drove advances in Ricci flow and geometric analysis.
• Attempts on the Riemann hypothesis have produced deep results in analytic number theory.

The problems listed here will likely generate new theories, new techniques, and new connections that we cannot yet imagine.

---

For Young Mathematicians

You do not need to solve a Millennium Problem to contribute meaningfully to mathematics. But knowing what the big open questions are gives you a map of the frontier.

The problems above have been waiting for decades or centuries. They are patient. And they are waiting for you.

---

References

• Clay Mathematics Institute, Millennium Prize Problems
• Terence Tao, Open problems and conjectures
• Keith Devlin, The Millennium Problems, Basic Books, 2002
• Yitang Zhang, "Bounded gaps between primes," Annals of Mathematics, 2014
• Marcus du Sautoy, The Music of the Primes, HarperCollins, 2003
• American Mathematical Society, Open problems in mathematics
• Bollobás, Modern Graph Theory, Springer, 1998
• Richard Guy, Unsolved Problems in Number Theory, Springer, 2004