## You are here

HomeMillennium Problems

## Primary tabs

# Millennium Problems

The *Millennium Problems* are seven problems for the solution of which the Clay Mathematics Institute (CMI) is offering a prize of $7 million. Someone who can solve just one of these problems receives $1 million. For each problem, the CMI had a professional mathematician write up an official statement of the problem which will be the main standard by which a given solution will be measured against. The prize offer was announced in May 2004.

The seven problems are:

1. The Birch and Swinnerton-Dyer conjecture. It concerns elliptic curves over rational numbers and the L-series attached to those curves. The official statement of the problem was given by Andrew Wiles.

2. The Hodge conjecture. It concerns Hodge cycles and their linear combinations. The official statement of the problem was given by Pierre Deligne.

3. “Existence and smoothness of the The Navier-Stokes equation.” The Navier-Stokes equation calculates momemtum in fluids (specifically, liquids and gases). The official statement of the problem was given by Charles Fefferman.

4. “P versus NP.” It concerns the difference between verification and computation in polynomial time. The official statement of the problem was given by Stephen Cook.

5. The Poincaré conjecture. It is believed that every simply-connected compact 3-manifold is homeomorphic to $S^{3}$. The official statement of the problem was given by John Milnor.

6. Quantum Yang-Mills theory. Just as Hilbert’s problems a hundred years before included a problem relating to the mathematics of physics, so does this 2000 collection. The official statement of the problem was given by Arthur Jaffe and Edward Witten.

7. The Riemann hypothesis. It concerns the distribution of primes. This one was 8 of 23 in Hilbert’s problems. The official statement of the problem was given by Enrico Bombieri.

# References

- 1 Keith Devlin, The Millennium Problems: The Seven Greatest Unsolved Mathematical Puzzles of Our Time New York: Perseus Books Group (2002)

# Appendix \theappendix External link

## Mathematics Subject Classification

01A65*no label found*01A61

*no label found*

- Forums
- Planetary Bugs
- HS/Secondary
- University/Tertiary
- Graduate/Advanced
- Industry/Practice
- Research Topics
- LaTeX help
- Math Comptetitions
- Math History
- Math Humor
- PlanetMath Comments
- PlanetMath System Updates and News
- PlanetMath help
- PlanetMath.ORG
- Strategic Communications Development
- The Math Pub
- Testing messages (ignore)

- Other useful stuff

## Recent Activity

new question: Prove that for any sets A, B, and C, An(BUC)=(AnB)U(AnC) by St_Louis

Apr 20

new image: information-theoretic-distributed-measurement-dds.png by rspuzio

new image: information-theoretic-distributed-measurement-4.2 by rspuzio

new image: information-theoretic-distributed-measurement-4.1 by rspuzio

new image: information-theoretic-distributed-measurement-3.2 by rspuzio

new image: information-theoretic-distributed-measurement-3.1 by rspuzio

new image: information-theoretic-distributed-measurement-2.1 by rspuzio

Apr 19

new collection: On the Information-Theoretic Structure of Distributed Measurements by rspuzio

Apr 15

new question: Prove a formula is part of the Gentzen System by LadyAnne

Mar 30

new question: A problem about Euler's totient function by mbhatia

## Corrections

related entry by Algeboy ✓

Enumerate structure by CompositeFan ✓

Bibliography item by PrimeFan ✓