Hipoteza dotyczy algebraiczności wybranych klas kohomologii de Rhama. Rozwiązany dla niektórych wersji. 3 1904 Hipoteza Poincarégo: dowolna trójwymiarowa zwarta i jednospójna rozmaitość topologiczna bez brzegu jest homeomorficzna ze sferą trójwymiarową. Ostatecznie potwierdzona w 2003 roku przez Grigorija Perelmana. Jego prace zweryfikowano w 2006 roku. 4 1859 Hipoteza Riemanna: część rzeczywista każdego nietrywialnego zera funkcji zeta Riemanna jest równa . Nierozwiązany. Przedstawiono wiele argumentów za jej poprawnością. 5 1954 Teoria Yanga-Millsa i przerwa masowa: Dla dowolnej prostej i zwartej grupy cechowania istnieje teoria Yanga-Millsa i posiada przerwę masową: . Nierozwiązany. 6 1822 Równania Naviera-Stokesa: udowodnienie istnienia rozwiązania gładkiego oraz nieograniczonego w czasie (lub wskazanie przypadku nierozwiązywalnego) dla wersji równań bardziej skomplikowanej niż równania Eulera. Istnieją wyniki w szczególnych przypadkach. Brak pełnego rozwiązania. 8 września 2026 firma OpenAI przedstawiła rozwiązanie opracowane przy pomocy ich modelu sztucznej inteligencji. Dowód nie został zweryfikowany przez niezależnych badaczy.