Millenniumproblemerne er syv udvalgte matematiske gåder, som blev præsenteret af Clay Mathematics Institute i år 2000. For hver korrekt løsning udloves en præmie på én million dollars. Det eneste problem, der indtil videre er løst, er Poincaréformodningen, som Grigori Perelman beviste i 2003 – men han afslog både Fieldsmedaljen og præmiepengene. De øvrige seks problemer, herunder P versus NP, Riemannhypotesen og Navier-Stokes' ligninger, er stadig uløste. Især P versus NP og Riemannhypotesen har vidtrækkende konsekvenser for datalogi og talteori, hvis de bliver afklaret. Selvom problemerne er ekstremt svære, fortsætter matematikere verden over med at forsøge at løse dem.